Preface to the special issue: Temporal logics of agency

DOI10.1007/S10849-009-9120-YMaRDI QIDQ616042zbMATH OpenOpenAlexFDO

Authors Eric Pacuit, Johan van Benthem

Publication date 7 January 2011

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites work

• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A course in game theory.
• A knowledge based semantics of messages
• Automata, logics, and infinite games. A guide to current research
• Comparing semantics of logics for multi-agent systems
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Handbook of modal logic
• Many-dimensional modal logics: theory and applications
• Merging frameworks for interaction
• Set-theoretic completeness for epistemic and conditional logic
• Some comments on history based structures
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The tree of knowledge in action: towards a common perspective
• Using branching time temporal logic to synthesize synchronization skeletons
• “Sometimes” and “not never” revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616042)