Temporal logic and its application to normative reasoning (Q4583324): 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.1080/11663081.2013.841359
+Normal rank
@@ Property / OpenAlex ID @@
+W1964288468
@@ Property / OpenAlex ID: W1964288468 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+Time and modality in the logic of agency
@@ Property / cites work: Time and modality in the logic of agency / rank @@
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing legal systems: legal abrogations and annulments in Defeasible Logic
+Normal rank
@@ Property / cites work @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+The deliberative stit: A study of action, omission, ability, and obligation
+Normal rank
@@ Property / cites work @@
+Moral conflicts between groups of agents
@@ Property / cites work: Moral conflicts between groups of agents / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
+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 @@
+A logic for reasoning about counterfactual emotions
+Normal rank
@@ Property / cites work @@
+A Gabbay-rule free axiomatization of \(T\times W\) validity
+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 @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311046
@@ Property / cites work: Q5311046 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results of STIT fragments
@@ Property / cites work: Complexity results of STIT fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244318
@@ Property / cites work: Q4244318 / rank @@
+Normal rank
@@ Property / cites work @@
+T \(\times\) W completeness
@@ Property / cites work: T \(\times\) W completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional \(\text Q\)-logic
@@ Property / cites work: Propositional \(\text Q\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4583324