On the Reconciliation of Logics of Agency and Logics of Event Types
From MaRDI portal
Publication:4982651
DOI10.1007/978-94-007-7046-1_3zbMath1312.03009MaRDI QIDQ4982651
Publication date: 10 April 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-7046-1_3
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deontic epistemic stit logic distinguishing modes of mens rea
- Combinations of stit and actions
- Making a start with the stit logic analysis of intentional action
- Bringing it about
- Process logic with regular formulas
- Reasoning about action. II: The qualification problem
- On the logic of ability
- Getting started: Beginnings in the logic of action
- On bringing it about
- A dynamic logic of agency. I: STIT, capabilities and powers
- Alternating-time temporal logic
- Acting, Events and Actions
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- A Modal Logic for Coalitional Power in Games
- Law and logic