An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
type: Item
instance of: scholarly article
title: An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
zbMATH Open document ID: 1242.68161
author: Dimitar P. Guelev
author: Cătălin Dima
author: Constantin Enea
published in: Journal of Applied Non-Classical Logics
publication date: 2012-07-17T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 91A44
zbMATH DE Number: 6058062
describes a project that uses: MCMAS
MaRDI profile type: Publication
full work available at URL: jancl.21.93-131
OpenAlex ID: W2068331423
cites work: Model Checking on Trees with Path Equivalences
cites work: Alternating-time temporal logic
cites work: Model checking abilities of agents: a closer look
cites work: Comparing semantics of logics for multi-agent systems
cites work: Complete axiomatization and decidability of alternating-time temporal logic
cites work: Q4845472
cites work: Complete Axiomatizations for Reasoning about Knowledge and Time
cites work: Constructive knowledge: what agents can achieve under imperfect information
cites work: Propositional temporal logics: decidability and completeness
cites work: The complexity of two-player games of incomplete information
cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
cites work: Complete axiomatizations for reasoning about knowledge and branching time
DOI: 10.3166/JANCL.21.93-131
Recommended article: Q5151003
Recommended article: Alternating-time temporal logics with linear past
Recommended article: Q5079770
Recommended article: Action and knowledge in alternating-time temporal logic
Recommended article: Q4992516
Recommended article: Complete axiomatization and decidability of alternating-time temporal logic
Recommended article: Q3117554
Recommended article: Alternating-time logic with imperfect recall
Recommended article: Q4501688
Recommended article: Sequent calculi with analytic cut for logics of time and knowledge with perfect recall
description: scientific article; zbMATH DE number 6058062