scientific article; zbMATH DE number 3861119

MaRDI QIDQ3329437zbMATH OpenFDO

Authors Mefodie Raţă

Publication date 1983

zbMATH Keywords

reducibilitymodal logic S4Post production systemsfunctional expressibilitymodal logic \(D^*\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Thue and Post systems, etc. (03D03)

Recommendations

• Undefinability of propositional quantifiers in the modal system S4
• scientific article; zbMATH DE number 4164803
• Undecidable problems for modal definability
• Undecidability of modal logics of unary predicate
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Undecidability of relation-changing modal logics
• Undecidability of the Lambek calculus with a relevant modality
• scientific article; zbMATH DE number 1138201
• Undecidability of the unification and admissibility problems for modal and description logics

Cited in

(6)

• A note on the expressibility problem for modal logics and star-free regular expressions
• scientific article; zbMATH DE number 2020143 (Why is no real title available?)
• Nonexistence of algorithms for recognizing syntactic expressibility in logic calculi. With a foreword by Iu. Reabuhin
• scientific article; zbMATH DE number 4164803 (Why is no real title available?)
• Untestable Properties Expressible with Four First-Order Quantifiers
• scientific article; zbMATH DE number 107724 (Why is no real title available?)

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 Q3329437)