First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

DOI10.1007/978-3-642-02261-6_12zbMath1246.03036OpenAlexW1773864193MaRDI QIDQ3638280

Francesco Belardinelli, Alessio Lomuscio

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_12

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Uses Software

• MCK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A guide to completeness and complexity for modal logics of knowledge and belief
• Common knowledge and quantification
• Many-dimensional modal logics: theory and applications
• First order common knowledge logics
• Decidable fragments of first-order temporal logics
• Axiomatizing the monodic fragment of first-order temporal logic
• Monodic packed fragment with equality is decidable
• 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
• Complexity of monodic guarded fragments over linear and real time
• Decidable fragments of first-order modal logics
• Knowledge and common knowledge in a distributed environment
• Time, clocks, and the ordering of events in a distributed system
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Computer Aided Verification

This page was built for publication: First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment