On interpolation in next )

Bulletin of the Section of Logic 47 (3):159 (2018)
  Copy   BIBTEX

Abstract

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

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.47.3.02

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Craig interpolation theorem in multi-modal logics.J. X. Madarász - 1995 - Bulletin of the Section of Logic 3 (24):147-151.
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5-6):659-678.
Interpolation for fragments of intermediate logics.Malgorzata Porebska - 1985 - Bulletin of the Section of Logic 14 (1):79-82.
Interpolation for fragments of intermediate logics.Ma Lgorzata Porebska - 1985 - Bulletin of the Section of Logic 14 (2):79-82.
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.

Analytics

Added to PP
2019-04-25

Downloads
16 (#906,252)

6 months
4 (#1,006,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).

Add more references