Preface to the special issue: Temporal logics of agency
From MaRDI portal
Publication:616042
DOI10.1007/S10849-009-9120-YzbMATH Open1264.03053OpenAlexW2040632120MaRDI QIDQ616042FDOQ616042
Johan van Benthem, Eric Pacuit
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
Cites Work
- Title not available (Why is that?)
- Many-dimensional modal logics: theory and applications
- Set-theoretic completeness for epistemic and conditional logic
- Comparing semantics of logics for multi-agent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Automata, logics, and infinite games. A guide to current research
- Title not available (Why is that?)
- Using branching time temporal logic to synthesize synchronization skeletons
- “Sometimes” and “not never” revisited
- Title not available (Why is that?)
- Title not available (Why is that?)
- Merging frameworks for interaction
- A knowledge based semantics of messages
- The tree of knowledge in action: towards a common perspective
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Title not available (Why is that?)
- Some comments on history based structures
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)
