Kripke Incomplete Logics Containing KTB

Studia Logica 85 (3):303-317 (2007)
  Copy   BIBTEX

Abstract

It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □2 p → □3 p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □5 p → □6 p).

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9056-7

Links

PhilArchive



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

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

On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
Modal incompleteness revisited.Tadeusz Litak - 2004 - Studia Logica 76 (3):329 - 342.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.Dmitrij Skvortsov - 2012 - Studia Logica 100 (1-2):361-383.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
A Continuum Of Incomplete Intermediate Logics.T. Litak - 2002 - Reports on Mathematical Logic:131-141.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.

Analytics

Added to PP
2009-01-28

Downloads
39 (#386,963)

6 months
13 (#161,691)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
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.

View all 7 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.

View all 9 references / Add more references