Download PDF - On interpolation in NEXT(KB.Alt(2))CC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0, Opens in new tab

ArticleOriginal scientific text

Title

On interpolation in NEXT(KB.Alt(2))

Authors

Abstract

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

Keywords

ENG
symmetric Kripke frames, interpolation, amalgamation
Bulletin of the Section of Logic
2018/47/3
Export to PBN, Opens in new tab
Main language of publication
English
Published
2018

DOI: 10.18778/0138-0680.47.3.02

Humanities