Temporal perspectives on agency

---

Basic papers Historical source texts Further directions

Dynamic-epistemic logics provide a local perspective on update that fits well with epistemic-temporal logics in linear or branching time. Various papers have investigated connections here clarifying how these two major approaches to agency are related.

 

---

Basic papers

⇥

• Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit. Merging Frameworks for Interaction. Journal of Philosophical Logic, 38(5):491-526, 2009. Prepublication version available.
• Bryan Renne, Joshua Sack, Audrey Yap. Logics of temporal-epistemic actions. Synthese, 193(3):813-849, 2016.

 

---

Historical source texts

↑   ⇥

• Bryan Renne, Joshua Sack, Audrey Yap. Dynamic Epistemic Temporal Logic. In Logic, Rationality, and Interaction (LORI 2009), 263-277, Springer, 2009.
• Tomohiro Hoshi, Audrey Yap. Dynamic epistemic logic with branching temporal structures. Synthese, 169(2):259-281, 2009.
• Audrey Yap. Dynamic Epistemic Logic and Temporal Modality. In Dynamic Formal Epistemology, 33-50, Springer, 2011. Prepublication version available.

 

---

Further directions

↑   ↟   ⇥

• Johan van Benthem, Cédric Dégremont. Bridges between Dynamic Doxastic and Doxastic Temporal Logics. In Logic and the Foundations of Game and Decision Theory - LOFT 8, 151-173, Springer, 2008. Prepublication version available.
• Johan van Benthem, Eric Pacuit. Connecting Logics of Choice and Change. In Nuel Belnap on Indeterminism and Free Action, 291-314, Springer, 2011. Prepublication version available.
• Rasmus K. Rendsvig. Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. In Logic, Rationality, and Interaction (LORI 2015), 316-327, Springer, 2015.
• Johan van Benthem. Oscillations, Logic, and Dynamical Systems. In The facts matter: essays on logic and cognition in honour of Rineke Verbrugge, 9-22, College Publications, 2016. Prepublication version available.