Preface to the special issue: Temporal logics of agency

DOI10.1007/s10849-009-9120-yzbMath1264.03053OpenAlexW2040632120MaRDI QIDQ616042

Eric Pacuit, J. F. A. K. van Benthem

Publication date: 7 January 2011

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9120-y

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Merging frameworks for interaction
• Using branching time temporal logic to synthesize synchronization skeletons
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A knowledge based semantics of messages
• Many-dimensional modal logics: theory and applications
• Automata, logics, and infinite games. A guide to current research
• Set-theoretic completeness for epistemic and conditional logic
• Comparing semantics of logics for multi-agent systems
• Some comments on history based structures
• “Sometimes” and “not never” revisited
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Preface to the special issue: Temporal logics of agency