Quantified epistemic logics for reasoning about knowledge in multi-agent systems

DOI10.1016/j.artint.2009.02.003zbMath1191.68646OpenAlexW1993760875MaRDI QIDQ835839

Alessio Lomuscio, Francesco Belardinelli

Publication date: 31 August 2009

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

Full work available at URL: https://doi.org/10.1016/j.artint.2009.02.003

zbMATH Keywords

distributed systemsknowledge representationmulti-agent systemsepistemic logicmathematical logicfirst-order modal logicmessage passing systemsdistributed knowledge

Mathematics Subject Classification ID

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

Related Items (9)

Arbitrary arrow update logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ A logic-based approach to incremental reasoning on multi-agent systems

Uses Software

• Verics
• MCK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about common knowledge with infinitely many agents
• Concurrent common knowledge: Defining agreement for asynchronous systems
• Modelling knowledge and action in distributed systems
• Limited reasoning in first-order knowledge bases
• Common knowledge and quantification
• Game logic and its applications. II
• First order common knowledge logics
• Decidable fragments of first-order temporal logics
• Axiomatizing the monodic fragment of first-order temporal logic
• Equality and monodic first-order temporal logic
• Monodic packed fragment with equality is decidable
• First-order modal logic
• Limited reasoning in first-order knowledge bases with full introspection
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Axiomatising first-order temporal logic: Until and since over linear time
• Game logic and its applications. I
• Complexity of monodic guarded fragments over linear and real time
• Decidable fragments of first-order modal logics
• A completeness theorem in modal logic
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Time, clocks, and the ordering of events in a distributed system
• What can machines know?
• A unified completeness theorem for quantified modal logics
• Logic in Computer Science
• Monodic temporal resolution
• Computer Aided Verification
• Knowledge, Identity, and Existence¹

This page was built for publication: Quantified epistemic logics for reasoning about knowledge in multi-agent systems