A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

DOI10.1007/978-3-540-88833-8_14zbMath1175.68430MaRDI QIDQ3602954

Alessio Lomuscio, Francesco Belardinelli

Publication date: 12 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_14

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T42: Agent technology and artificial intelligence

Uses Software

• AVISPA
• MCK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Quantified coalition logic
• Bounded model checking for knowledge and real time
• Modelling knowledge and action in distributed systems
• Common knowledge and quantification
• Decidable fragments of first-order temporal logics
• First-order modal logic
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• 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?
• Computer Aided Verification
• A Framework for Model Checking Institutions
• Computer Aided Verification