An incomplete decidable modal logic

DOI10.2307/2274183zbMath0591.03006OpenAlexW2054793991MaRDI QIDQ3718681

M. J. Cresswell

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274183

zbMATH Keywords

finite axiomatizationpropositional modal logicvalidity problemincomplete modal logicRabin's second-order theory of two successor functions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Finite-trace linear temporal logic: coinductive completeness ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Mathematical modal logic: A view of its evolution ⋮ A conservative negation extension of positive semilattice logic without the finite model property ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Unnamed Item
• Unnamed Item

This page was built for publication: An incomplete decidable modal logic