Refinement quantified logics of knowledge

DOI10.1016/J.ENTCS.2011.10.008MaRDI QIDQ2825410zbMATH OpenOpenAlexWikidataFDO

Authors James Hales, Rowan Davies, Tim French

Publication date 7 October 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.10.008

zbMATH Keywords

axiomatizationsdecision proceduresepistemic logicrefinement quantification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• Refinement quantified logics of knowledge and belief for multiple agents
• Refinement modal logic
• Free quantified epistemic logics
• Refined common knowledge logics or logics of common information
• Refinement of Kripke Models for Dynamics

Cites work

• Future event logic -- axioms and complexity
• Logics for epistemic programs
• Logics of public communications
• On the logic of theory change: Partial meet contraction and revision functions
• Reasoning about information change
• Simulation and Information: Quantifying over Epistemic Events
• Undecidability for arbitrary public announcement logic

Cited in

(11)

• Free quantified epistemic logics
• Arrow update synthesis
• Future event logic -- axioms and complexity
• The complexity of one-agent refinement modal logic
• Logics of Kripke meta-models
• Refinement modal logic
• AI 2003: Advances in Artificial Intelligence
• Refinement quantified logics of knowledge and belief for multiple agents
• Covariant-contravariant refinement modal logic
• To be announced
• The complexity of one-agent refinement modal logic

This page was built for publication: Refinement quantified logics of knowledge

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