A Dynamic Logic of Institutional Actions
From MaRDI portal
Publication:3092309
DOI10.1007/978-3-642-22359-4_21zbMath1348.68239OpenAlexW200027857MaRDI QIDQ3092309
Nicolas Troquard, Andreas Herzig, Emiliano Lorini
Publication date: 16 September 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_21
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive unawareness
- Logics of communication and change
- A logic of intention and attempt
- Propositional dynamic logic with local assignments
- On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
- Action theory and social science. Some formal models
- Ramification and causality
- Making things happen
- On the logic of cooperation and propositional control
- A Dynamic Logic of Institutional Actions
- Classificatory Aspects of Counts-as: An Analysis in Modal Logic
- Reasoning About the Transfer of Control
- The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
- A Modal Logic for Coalitional Power in Games