scientific article; zbMATH DE number 1499093

zbMATH Open0946.03022MaRDI QIDQ4501147

Bernhard Heinemann

Publication date: 3 September 2000

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

zbMATH Keywords

modal logicexpressive completenessbinary ramified frames

Mathematics Subject Classification ID

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

Related Items (11)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Proof-theoretic modal PA-completeness. III: The syntactic proof ⋮ EXPTIME-completeness of thorough refinement on modal transition systems ⋮ Exemplaric Expressivity of Modal Logics ⋮ Title not available (Why is that?) ⋮ On the Meaning of Logical Completeness ⋮ Modal Expressivity and Definability over Sets ⋮ Some questions about expressiveness and relative completeness in Hoare's logic ⋮ Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes ⋮ Elementary definability and completeness in general and positive modal 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)