An incompleteness theorem in modal logic

DOI10.1111/J.1755-2567.1974.TB00077.XMaRDI QIDQ4773680zbMATH OpenOpenAlexFDO

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)

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

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)