The Undecidability of Monadic Modal Quantification Theory

DOI10.1002/MALQ.19620080204MaRDI QIDQ3848194zbMATH OpenOpenAlexFDO

Authors Saul A. Kripke

Publication date 1962

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19620080204

zbMATH Keywords

mathematical logic

Cited in

(29)

• Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Logical atomism, nominalism, and modal logic
• Completeness of a first-order temporal logic with time-gaps
• Mathematical modal logic: A view of its evolution
• Some first-order probability logics
• On the universality of atomic and molecular logics via protologics
• Dynamic term-modal logics for first-order epistemic planning
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Validity and necessity
• Decidable fragments of first-order modal logics
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• The operator gap theorem in α-recursion theory
• Undecidability of modal and intermediate first-order logics with two individual variables
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Bundled fragments of first-order modal logic: (un)decidability
• Two variable fragment of term modal logic
• Logical analysis of emotions in text from natural language
• An undecidable two sorted predicate calculus
• Sufficient conditions for the undecidability of intuitionistic theories with applications
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• Tableau systems for some Ivlev-like (quantified) modal logics
• Saul Kripke (1940--2022)
• Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
• Variations on the Kripke trick
• Saul Kripke: a portrait of the modal logician as a young man
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
• Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains

This page was built for publication: The Undecidability of Monadic Modal Quantification Theory

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