On the succinctness of some modal logics

DOI10.1016/j.artint.2013.02.003zbMath1270.03037OpenAlexW2094001511MaRDI QIDQ360052

Petar Iliev, Wiebe van der Hoek, Tim French, Barteld P. Kooi

Publication date: 23 August 2013

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0004370213000222

zbMATH Keywords

modal logicknowledge representationepistemic logicdescription logicssuccinctnessBoolean modal logicfinite model theory of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Model theory of finite structures (03C13)

Related Items (5)

Expressive power and succinctness of the positive calculus of binary relations ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Unnamed Item ⋮ The succinctness of the cover modality ⋮ A public announcement separation logic

Cites Work

• Foundations of instance level updates in expressive description logics
• The size of a revised knowledge base
• On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Comparing the succinctness of monadic query languages over finite trees
• An n  ! lower bound on formula size
• The succinctness of first-order logic on linear orders
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the succinctness of some modal logics