A complete coalition logic of temporal knowledge for multi-agent systems
type: Item
instance of: scholarly article
title: A complete coalition logic of temporal knowledge for multi-agent systems
zbMATH Open document ID: 1403.68256
author: Qingliang Chen
author: Kaile Su
author: Yong Hu
author: Guiwu Hu
published in: Frontiers of Computer Science
publication date: 2018-12-19T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6995616
zbMATH Keywords: coalition logic
zbMATH Keywords: temporal logic of knowledge
zbMATH Keywords: complete axiomatization
zbMATH Keywords: multi-agent systems
MaRDI profile type: Publication
full work available at URL: s11704-014-4097-3
OpenAlex ID: W2039481545
cites work: Multiagent Systems
cites work: Reasoning about rational agents
cites work: Q4845472
cites work: Q3576736
cites work: A Modal Logic for Coalitional Power in Games
cites work: Alternating-time temporal logic
cites work: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
cites work: Quantified coalition logic
cites work: Higher-Order Coalition Logic
cites work: Reasoning about coalitional games
cites work: Complete axiomatization and decidability of alternating-time temporal logic
cites work: Q3400789
cites work: Model Theory
cites work: Dynamic epistemic logic
cites work: Q2771059
cites work: Multi-modal CTL: completeness, complexity, and an application
cites work: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
cites work: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
cites work: A logic for reasoning about counterfactual emotions
cites work: Q4900648
cites work: Constructive knowledge: what agents can achieve under imperfect information
cites work: Model-checking games for logics of imperfect information
DOI: 10.1007/S11704-014-4097-3
description: scientific article; zbMATH DE number 6995616