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

DOI10.3233/FI-2011-382MaRDI QIDQ3100161zbMATH OpenOpenAlexFDO

Authors Francesco Belardinelli, Alessio Lomuscio

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-382

zbMATH Keywords

multi-agent systemscompletenessepistemic logicKripke modelstemporal logicfirst-order modal logicmessage passing systemsBarcan formulainterpreted systems

Mathematics Subject Classification ID

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

Recommendations

• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Axiomatizing the monodic fragment of first-order temporal logic
• Monodic fragments of first-order temporal logics: 2000--2001 A.D.
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• scientific article; zbMATH DE number 1759387
• Monodic fragments of probabilistic first-order logic
• Decidable fragments of first-order modal logics
• Lindstrom theorems for fragments of first-order logic
• The monodic fragment of propositional term modal logic
• Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

Cited in

(9)

• A new modal framework for epistemic logic
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Beyond knowing that: a new generation of epistemic logics
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• scientific article; zbMATH DE number 1759387 (Why is no real title available?)
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• A complete coalition logic of temporal knowledge for multi-agent systems

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

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