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

DOI10.3233/FI-2011-382zbMATH Open1252.03031OpenAlexW3021055172MaRDI QIDQ3100161FDOQ3100161

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

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

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)

Cited In (9)

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

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)