scientific article; zbMATH DE number 1499093

MaRDI QIDQ4501147zbMATH OpenFDO

Authors Bernhard Heinemann

Publication date 3 September 2000

zbMATH Keywords

modal logicexpressive completenessbinary ramified frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Expressive completeness of temporal logic of trees
• scientific article; zbMATH DE number 1927553
• The completeness problem for modal logic
• scientific article; zbMATH DE number 1678388

Cited in

(21)

• scientific article; zbMATH DE number 6704247 (Why is no real title available?)
• About simulating polyadic frames
• EXPTIME-completeness of thorough refinement on modal transition systems
• scientific article; zbMATH DE number 1841824 (Why is no real title available?)
• Elementary definability and completeness in general and positive modal logic
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• On modal logics with existential modality
• scientific article; zbMATH DE number 7668097 (Why is no real title available?)
• On the Meaning of Logical Completeness
• scientific article; zbMATH DE number 970632 (Why is no real title available?)
• Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• scientific article; zbMATH DE number 2196604 (Why is no real title available?)
• Modal Expressivity and Definability over Sets
• Expressive completeness through logically tractable models
• The modal logic of the countable random frame
• scientific article; zbMATH DE number 1927553 (Why is no real title available?)
• Exemplaric Expressivity of Modal Logics
• The modal logic of inequality
• The completeness problem for modal logic
• Some questions about expressiveness and relative completeness in Hoare's logic

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