A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

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

Francesco Belardinelli, Alessio Lomuscio

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

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

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

This page was built for publication: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems