scientific article; zbMATH DE number 3861119

zbMATH Open0542.03005MaRDI QIDQ3329437FDOQ3329437

Authors: Mefodie Raţă 

Publication date: 1983

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• A note on the expressibility problem for modal logics and star-free regular expressions
• Title not available (Why is that?)
• Nonexistence of algorithms for recognizing syntactic expressibility in logic calculi. With a foreword by Iu. Reabuhin
• Title not available (Why is that?)
• Untestable Properties Expressible with Four First-Order Quantifiers
• Title not available (Why is that?)

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)