A complete coalition logic of temporal knowledge for multi-agent systems

DOI10.1007/s11704-014-4097-3zbMath1403.68256OpenAlexW2039481545MaRDI QIDQ1633064

Kaile Su, Guiwu Hu, Qingliang Chen, Yong Hu

Publication date: 19 December 2018

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-014-4097-3

zbMATH Keywords

multi-agent systemscomplete axiomatizationcoalition logictemporal logic of knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items (2)

A first-order coalition logic for BDI-agents ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking games for logics of imperfect information
• A logic for reasoning about counterfactual emotions
• Reasoning about coalitional games
• Dynamic epistemic logic
• Quantified coalition logic
• Multi-modal CTL: completeness, complexity, and an application
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Complete axiomatization and decidability of alternating-time temporal logic
• Higher-Order Coalition Logic
• 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
• Alternating-time temporal logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Multiagent Systems
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games
• Model Theory

This page was built for publication: A complete coalition logic of temporal knowledge for multi-agent systems