A first-order coalition logic for BDI-agents
type: Item
instance of: scholarly article
title: A first-order coalition logic for BDI-agents
zbMATH Open document ID: 1403.68257
author: Qingliang Chen
author: Kaile Su
author: Abdul Sattar
author: Aixiang Chen
author: XiangYu Luo
published in: Frontiers of Computer Science
publication date: 2019-01-22T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 7004684
zbMATH Keywords: coalition logic
zbMATH Keywords: BDI logic
zbMATH Keywords: complete axiomatization
zbMATH Keywords: computational complexity
describes a project that uses: VerICS
describes a project that uses: MCMAS
describes a project that uses: MCK
describes a project that uses: MCMAS-SLK
describes a project that uses: NuSMV
describes a project that uses: MOCHA
MaRDI profile type: Publication
full work available at URL: s11704-015-4591-2
OpenAlex ID: W2215804046
cites work: Q4845472
cites work: Q3576736
cites work: A Modal Logic for Coalitional Power in Games
cites work: Alternating-time temporal logic
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: Specification and Verification of Multi-Agent Systems
cites work: Barcan Both Ways
cites work: Q4698331
cites work: Model-Checking First-Order Logic: Automata and Locality
cites work: The complexity of propositional linear temporal logics
cites work: Q5506377
cites work: Q4804909
cites work: Computer Aided Verification
cites work: Modal logic
cites work: A complete coalition logic of temporal knowledge for multi-agent systems
cites work: Q3400789
cites work: Q4994888
cites work: Model-checking games for logics of imperfect information
cites work: A logic for reasoning about knowledge of unawareness
DOI: 10.1007/S11704-015-4591-2
description: scientific article; zbMATH DE number 7004684