An incomplete logic containing S4
From MaRDI portal
Publication:4773679
DOI10.1111/J.1755-2567.1974.TB00076.XzbMATH Open0287.02011OpenAlexW2161004731MaRDI QIDQ4773679FDOQ4773679
Authors: Kit Fine 
Publication date: 1974
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1974.tb00076.x
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Cited In (40)
- Canonical modal logics and ultrafilter extensions
- Splitting lattices of logics
- Willem Blok and modal logic
- Kripke incomplete logics containing KTB
- Possible worlds semantics: a research program that cannot fail?
- Logics containing K4. Part II
- Prefinitely axiomatizable modal and intermediate logics
- The lattice of modal logics: an algebraic investigation
- Some kinds of modal completeness
- V. Yankov’s Contributions to Propositional Logic
- Splittings and the finite model property
- Logics for propositional contingentism
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
- Duality and the completeness of the modal \(\mu\)-calculus
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- Topology and duality in modal logic
- An incomplete decidable modal logic
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Hereditarily finitely axiomatizable extensions of logic S4
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension
- The McKinsey axiom is not compact
- The McKinsey axiom is not canonical
- Mathematical modal logic: A view of its evolution
- Der Verband der normalen verzweigten Modallogiken
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Minimal Axiomatization in Modal Logic
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
- Canonicity in power and modal logics of finite achronal width
- Constructive canonicity in non-classical logics
- Modal logics of domains on the real plane
- Should Deflationists Be Dialetheists?
- Decidability of some interpolation properties for weakly transitive modal logics
- An incomplete nonnormal extension of S3
- Transitive logics of finite width with respect to proper-successor-equivalence
- Varieties of complex algebras
- Pure extensions, proof rules, and hybrid axiomatics
- Basic conditional logic
- Noncompact extensions of the logic S4
This page was built for publication: An incomplete logic containing S4
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773679)
