An incompleteness theorem in modal logic

DOI10.1111/J.1755-2567.1974.TB00077.XzbMATH Open0287.02012OpenAlexW1991153667MaRDI QIDQ4773680FDOQ4773680

Authors: S. K. Thomason 

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.tb00077.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Cited In (37)

• Canonical modal logics and ultrafilter extensions
• Willem Blok and modal logic
• Kripke incomplete logics containing KTB
• Possible worlds semantics: a research program that cannot fail?
• A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
• The lattice of modal logics: an algebraic investigation
• Some kinds of modal completeness
• Logics for propositional contingentism
• Duality and the completeness of the modal \(\mu\)-calculus
• Topology and duality in modal logic
• An incomplete decidable modal logic
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Interpolation in weakly transitive modal logics
• An axiomatization of the modal theory of the veiled recession frame
• Solving the \$100 modal logic challenge
• Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• 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
• Algebraic modal correspondence: Sahlqvist and beyond
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Constructive canonicity in non-classical logics
• Semantic analysis of orthologic
• Atomless varieties
• Some descending chains of incomplete modal logics
• Decidability of some interpolation properties for weakly transitive modal logics
• An incomplete nonnormal extension of S3
• Varieties of complex algebras
• Pure extensions, proof rules, and hybrid axiomatics
• Basic conditional logic
• Noncompact extensions of the logic S4
• Completeness of modal logics with prefinite width
• Temporal logic of surjective bounded morphisms between finite linear processes
• Changing a Semantics: Opportunism or Courage?
• 3-SAT = SAT for a class of normal modal logics

This page was built for publication: An incompleteness theorem in modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773680)