A Temporal Logic of Normative Systems (Q3600564): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-1-4020-9084-4_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2262486971
@@ Property / OpenAlex ID: W2262486971 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Social laws in alternating time: effectiveness, feasibility, and synthesis
+Normal rank
@@ Property / cites work @@
+Deontic interpreted systems
@@ Property / cites work: Deontic interpreted systems / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311048
@@ Property / cites work: Q5311048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701517
@@ Property / cites work: Q5701517 / rank @@
+Normal rank
@@ Property / cites work @@
+The Deontic Component of Action Language $n{\mathcal{C}}+$
+Normal rank
@@ Property / cites work @@
+On the emergence of social conventions: modeling, analysis, and simulations
+Normal rank
@@ Property / cites work @@
+Provably Difficult Combinatorial Games
@@ Property / cites work: Provably Difficult Combinatorial Games / rank @@
+Normal rank
@@ Property / cites work @@
+Actors, actions, and initiative in normative system specification
+Normal rank
@@ Property / cites work @@
+On obligations and normative ability: Towards a logical analysis of the social contract
+Normal rank