An incomplete decidable modal logic

DOI10.2307/2274183MaRDI QIDQ3718681zbMATH OpenOpenAlexFDO

Authors 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 axiomatizationincomplete modal logicpropositional modal logicRabin's second-order theory of two successor functionsvalidity problem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5295713
• An incomplete relevant modal logic
• An incompleteness theorem for modal relevant logics
• An incomplete system of modal logic
• Some incompletable modal predicate logics
• scientific article; zbMATH DE number 4058923
• Decidability of some classes of modal logic
• A modal logic of indiscernibility
• The completeness problem for modal logic
• Modal incompleteness revisited

Cites work

• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Cited in

(21)

• The decidable normal modal logics are not recursively enumerable
• All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable
• Some descending chains of incomplete modal logics
• The modal logic of the countable random frame
• Mathematical modal logic: A view of its evolution
• Finite-trace linear temporal logic: coinductive completeness
• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• Effective completeness theorems for modal logic
• Decidable and undecidable logics with a binary modality
• A conservative negation extension of positive semilattice logic without the finite model property
• A Universally Defined Undecidable Unimodal Logic
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• scientific article; zbMATH DE number 1163388 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• On modal logics of Hamming spaces
• Decidability of IF modal logic of perfect recall
• Modal frame incompleteness. An account through second order logic
• Coalgebraic semantics of modal logics: an overview

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

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