Undecidability of modal logics of unary predicate

DOI10.21146/2074-1472-2017-23-2-60-75MaRDI QIDQ4566145zbMATH OpenOpenAlexFDO

Authors Mikhail Rybakov

Publication date 14 June 2018

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2017-23-2-60-75

zbMATH Keywords

decidabilityfirst-order logicmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of modal and intermediate first-order logics with two individual variables
• scientific article; zbMATH DE number 2020143
• A Universally Defined Undecidable Unimodal Logic
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Decidable and undecidable logics with a binary modality

Cited in

(16)

• Decidable and undecidable logics with a binary modality
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• A Universally Defined Undecidable Unimodal Logic
• scientific article; zbMATH DE number 3847361 (Why is no real title available?)
• scientific article; zbMATH DE number 3861119 (Why is no real title available?)
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Uninorms and Non-contradiction
• Undecidability of modal and intermediate first-order logics with two individual variables
• scientific article; zbMATH DE number 2020143 (Why is no real title available?)
• scientific article; zbMATH DE number 1500655 (Why is no real title available?)
• scientific article; zbMATH DE number 1859179 (Why is no real title available?)
• Modal Logics Between Propositional and First-order
• Undecidability of the Logic of Partial Quasiary Predicates
• Binary modal logic and unary modal logic
• Variations on the Kripke trick
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables

This page was built for publication: Undecidability of modal logics of unary predicate

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