A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

DOI10.1007/978-3-540-88833-8_14MaRDI QIDQ3602954zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• A modal logic for message passing processes
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• Propositional Dynamic Logic for Message-Passing Systems
• Propositional dynamic logic for message-passing systems
• scientific article; zbMATH DE number 1453144
• Propositional epistemic logics with quantification over agents of knowledge
• A complete proof system for a dynamic epistemic logic based upon finite -calculus processes
• Intensional protocols for dynamic epistemic logic
• Logics for epistemic programs

Cites work

• A completeness theorem in modal logic
• A Framework for Model Checking Institutions
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Bounded model checking for knowledge and real time
• Common knowledge and quantification
• Computer Aided Verification
• Computer Aided Verification
• Decidable fragments of first-order modal logics
• Decidable fragments of first-order temporal logics
• First-order modal logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 1759387 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Modal logic
• Modelling knowledge and action in distributed systems
• Quantified coalition logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Time, clocks, and the ordering of events in a distributed system
• What can machines know?

Cited in

(3)

• A complete proof system for a dynamic epistemic logic based upon finite -calculus processes
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Describes a project that uses

Uses Software

• AVISPA
• MCK

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

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