Refinement quantified logics of knowledge and belief for multiple agents

MaRDI QIDQ5419886zbMATH OpenFDO

Authors James Hales, Rowan Davies, Tim French

Publication date 11 June 2014

zbMATH Keywords

action modelsbisimulation quantifierdoxastic logicepistemic logicmodal logicmulti-agent systemtemporal epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Refinement quantified logics of knowledge
• Refinement modal logic
• A model of reasoning about knowledge
• A guide to completeness and complexity for modal logics of knowledge and belief
• Refined common knowledge logics or logics of common information

Cited in

(16)

• Positive announcements
• A general multi-agent epistemic planner based on higher-order belief change
• Efficient multi-agent epistemic planning: teaching planners about nested belief
• Arrow update synthesis
• Forgetting in multi-agent modal logics
• Refinement quantified logics of knowledge
• Logics of Kripke meta-models
• Invariance Properties of Quantifiers and Multiagent Information Exchange
• Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
• A quantitative analysis of modal logic
• Refinement modal logic
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• scientific article; zbMATH DE number 7450025 (Why is no real title available?)
• Modal functional (``Dialectica) interpretation
• Refining strategic ability in alternating-time temporal logic
• Refinement of Kripke Models for Dynamics

This page was built for publication: Refinement quantified logics of knowledge and belief for multiple agents

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