The Undecidability of Monadic Modal Quantification Theory
From MaRDI portal
Publication:3848194
DOI10.1002/malq.19620080204zbMath0111.01101OpenAlexW2053772225MaRDI QIDQ3848194
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
Related Items
An undecidable two sorted predicate calculus ⋮ Completeness of a first-order temporal logic with time-gaps ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ On the universality of atomic and molecular logics via protologics ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ 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 ⋮ Logical analysis of emotions in text from natural language ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Sufficient conditions for the undecidability of intuitionistic theories with applications ⋮ Mathematical modal logic: A view of its evolution ⋮ Decidable fragments of first-order modal logics ⋮ Logical atomism, nominalism, and modal logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ The operator gap theorem in α-recursion theory ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ Some first-order probability logics ⋮ Validity and necessity