On non‐compact logics in NEXT(KTB)

Mathematical Logic Quarterly 54 (6):617-624 (2008)
  Copy   BIBTEX

Abstract

In this paper we construct a continuum of logics, extensions of the modal logic T2 = KTB ⊕ □2p → □3p, which are non-compact and hence Kripke incomplete

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710056

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Modal Logics That Need Very Large Frames.Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (2):141-173.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.

Analytics

Added to PP
2013-12-01

Downloads
15 (#893,994)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On interpolation and Halldén-completeness in next (ktb).Zofia Kostrzycka - 2012 - Bulletin of the Section of Logic 41 (1/2):23-32.
On linear Brouwerian logics.Zofia Kostrzycka - 2014 - Mathematical Logic Quarterly 60 (4-5):304-313.
Local tabularity without transitivity.Ilya Shapirovsky & Valentin Shehtman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 520-534.

Add more citations

References found in this work

Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
On the existence of a continuum of logics in NEXT (KTB⊕ 22p→ 23p).Zofia Kostrzycka - 2007 - Bulletin of the Section of Logic 36 (1/2):37-43.
On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.
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.

Add more references