A Dynamic Logic of Institutional Actions (Q3092309): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22359-4_21
+Normal rank
@@ Property / OpenAlex ID @@
+W200027857
@@ Property / OpenAlex ID: W200027857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638252
@@ Property / cites work: Q5638252 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q5296759
@@ Property / cites work: Q5296759 / rank @@
+Normal rank
@@ Property / cites work @@
+Classificatory Aspects of Counts-as: An Analysis in Modal Logic
+Normal rank
@@ Property / cites work @@
+Interactive unawareness
@@ Property / cites work: Interactive unawareness / rank @@
+Normal rank
@@ Property / cites work @@
+A Dynamic Logic of Institutional Actions
@@ Property / cites work: A Dynamic Logic of Institutional Actions / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About the Transfer of Control
@@ Property / cites work: Reasoning About the Transfer of Control / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of cooperation and propositional control
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of intention and attempt
@@ Property / cites work: A logic of intention and attempt / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
+Normal rank
@@ Property / cites work @@
+On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Action theory and social science. Some formal models
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic with local assignments
+Normal rank
@@ Property / cites work @@
+Making things happen
@@ Property / cites work: Making things happen / rank @@
+Normal rank