Action and knowledge in alternating-time temporal logic

DOI10.1007/s11229-005-3875-8zbMath1107.03013OpenAlexW2116676758MaRDI QIDQ2500827

Thomas Ågotnes

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-3875-8

zbMATH Keywords

model checkingexpressivenessalternating-time temporal logicknowledge and action

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (12)

Quantified temporal alethic boulesic doxastic logic ⋮ Specification and Verification of Multi-Agent Systems ⋮ The undecidability of quantified announcements ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ A Logic-Based Analysis of Responsibility ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Blame it on me ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Quantified coalition logic ⋮ Constructive knowledge: what agents can achieve under imperfect information ⋮ Multi-valued Verification of Strategic Ability

Uses Software

• MOCHA

Cites Work

• Social laws in alternating time: effectiveness, feasibility, and synthesis
• Modelling knowledge and action in distributed systems
• Dynamic linear time temporal logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Complete axiomatization and decidability of alternating-time temporal logic
• Alternating-time temporal logic
• Interpolants and Symbolic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Action and knowledge in alternating-time temporal logic