A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047): Difference between revisions

@@ Property / cites work @@
+Q2852085
@@ Property / cites work: Q2852085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003823
@@ Property / cites work: Q3003823 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional obligation, deontic paradoxes, and the logic of agency
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+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 @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+The logic of knowledge based obligation
@@ Property / cites work: The logic of knowledge based obligation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532134
@@ Property / cites work: Q4532134 / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Conflicting Obligations in Multi-agent Deontic Logic
+Normal rank
@@ Property / cites work @@
+A STIT-Extension of ATL
@@ Property / cites work: A STIT-Extension of ATL / rank @@
+Normal rank