Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.02.030
@@ Property / DOI: 10.1016/j.entcs.2009.02.030 / rank @@
-Normal rank
@@ Property / cites work @@
+Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
+Normal rank
@@ Property / cites work @@
+Q2735784
@@ Property / cites work: Q2735784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2711323
@@ Property / cites work: Q2711323 / 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 @@
+‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
+Normal rank
@@ Property / cites work @@
+A State/Event Temporal Deontic Logic
@@ Property / cites work: A State/Event Temporal Deontic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342525
@@ Property / cites work: Q3342525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4947999
@@ Property / cites work: Q4947999 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Reasoning over Deontic Specifications
@@ Property / cites work: Temporal Reasoning over Deontic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Single step tableaux for modal logics. Computational properties, complexity and methodology
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.02.030
@@ Property / DOI: 10.1016/J.ENTCS.2009.02.030 / rank @@
+Normal rank