On the relative succinctness of two extensions by definitions of multimodal logic

DOI10.1007/978-3-642-30870-3_33MaRDI QIDQ2904422zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, Petar Iliev, Barteld Kooi

Publication date 14 August 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30870-3_33

Mathematics Subject Classification ID

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
• ON DEFINABILITY IN MULTIMODAL LOGIC
• The succinctness of the cover modality
• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

Cited in

(5)

• On the size of shortest modal descriptions
• Some exponential lower bounds on formula-size in modal logic
• On the succinctness of some modal logics
• On the succinctness of atoms of dependency
• The succinctness of the cover modality

This page was built for publication: On the relative succinctness of two extensions by definitions of multimodal logic

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