A Tableaux System for Deontic Action Logic (Q3522041): Difference between revisions

@@ Property / cites work @@
+A Complete and Compact Propositional Deontic Logic
+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 @@
+Temporal theories as modularisation units for concurrent system specification
+Normal rank
@@ Property / cites work @@
+Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux and algorithms for Propositional Dynamic Logic with Converse
+Normal rank
@@ Property / cites work @@
+Temporal Reasoning over Deontic Specifications
@@ Property / cites work: Temporal Reasoning over Deontic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank