scientific article; zbMATH DE number 2020143

MaRDI QIDQ4440792zbMATH OpenFDO

Authors Mikhail Rybakov

Publication date 2002

zbMATH Keywords

fragments with one monadic predicate lettermodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Undecidability of modal logics of unary predicate
• scientific article; zbMATH DE number 4164803
• scientific article; zbMATH DE number 1138201
• Decidable and enumerable predicate logics of provability
• scientific article; zbMATH DE number 3861119

Cited in

(5)

• Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
• Undecidability of modal logics of unary predicate
• Algorithmic properties of first-order modal logics of the natural number line in restricted languages
• Variations on the Kripke trick
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables

This page was built for publication:

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