The succinctness of the cover modality

DOI10.1080/11663081.2016.1144016MaRDI QIDQ4586149zbMATH OpenOpenAlexFDO

Authors Petar Iliev, Hans van Ditmarsch

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2016.1144016

zbMATH Keywords

cover modalitylower bounds on formula sizemodal logicsuccinctness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• On the succinctness of some modal logics
• Some exponential lower bounds on formula-size in modal logic
• Succinctness in subsystems of the spatial -calculus
• On the relative succinctness of two extensions by definitions of multimodal logic
• scientific article; zbMATH DE number 5872402

Cites work

• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• An n! lower bound on formula size
• Applications of matrix methods to the theory of lower bounds in computational complexity
• Automata for the modal -calculus and related results
• Completeness for the coalgebraic cover modality
• Finite models constructed from canonical formulas
• scientific article; zbMATH DE number 2196605 (Why is no real title available?)
• Modal logic
• On the size of shortest modal descriptions
• On the succinctness of some modal logics
• Some exponential lower bounds on formula-size in modal logic
• The succinctness of first-order logic on linear orders
• Uniform interpolation for monotone modal logic

Cited in

(4)

• On the relative succinctness of two extensions by definitions of multimodal logic
• On the succinctness of some modal logics
• Some exponential lower bounds on formula-size in modal logic
• Succinctness in subsystems of the spatial -calculus

This page was built for publication: The succinctness of the cover modality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586149)