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