Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
From MaRDI portal
Publication:3143566
DOI10.1613/jair.3547zbMath1267.68221arXiv1401.5849OpenAlexW3105346431MaRDI QIDQ3143566
Francesco Belardinelli, Alessio Lomuscio
Publication date: 3 December 2012
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.5849
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (17)
Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ A complete coalition logic of temporal knowledge for multi-agent systems ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Satisfiability problem in interval FP-logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ An omniscience-free temporal logic of knowledge for verifying authentication protocols ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Unnamed Item ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Branching time agents logics, satisfiability problem by rules in reduced form
Uses Software
This page was built for publication: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
