A Dynamic Logic of Institutional Actions

DOI10.1007/978-3-642-22359-4_21zbMATH Open1348.68239OpenAlexW200027857MaRDI QIDQ3092309FDOQ3092309

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Logics of communication and change
• A Modal Logic for Coalitional Power in Games
• Propositional dynamic logic with local assignments
• Interactive unawareness
• A logic of intention and attempt
• Ramification and causality
• Classificatory Aspects of Counts-as: An Analysis in Modal Logic
• 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
• On the logic of cooperation and propositional control
• The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
• Making things happen
• A Dynamic Logic of Institutional Actions
• Reasoning About the Transfer of Control
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• On the dynamics of institutional agreements
• A Dynamic Logic of Institutional Actions
• Dynamic logic of legal competences
• A dynamic logic of agency. I: STIT, capabilities and powers
• Algebra and Coalgebra in Computer Science

This page was built for publication: A Dynamic Logic of Institutional Actions

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