Publication:3848194

DOI10.1002/MALQ.19620080204zbMATH Open0111.01101OpenAlexW2053772225MaRDI QIDQ3848194FDOQ3848194

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 (24)

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

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)