scientific article; zbMATH DE number 1499093

zbMATH Open0946.03022MaRDI QIDQ4501147FDOQ4501147

Bernhard Heinemann

Publication date: 3 September 2000

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

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

zbMATH Keywords

modal logicexpressive completenessbinary ramified frames

Mathematics Subject Classification ID

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

Cited In (19)

• Title not available (Why is that?)
• EXPTIME-completeness of thorough refinement on modal transition systems
• 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
• Title not available (Why is that?)
• On the Meaning of Logical Completeness
• Title not available (Why is that?)
• Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• Title not available (Why is that?)
• Modal Expressivity and Definability over Sets
• Title not available (Why is that?)
• The modal logic of the countable random frame
• 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
• 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 Q4501147)