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
distributed systemsknowledge representationmulti-agent systemsepistemic logicmathematical logicfirst-order modal logicmessage passing systemsdistributed knowledge
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)
Uses Software
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 Existence1
This page was built for publication: Quantified epistemic logics for reasoning about knowledge in multi-agent systems