Propositional \(\text Q\)-logic (Q1863958): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The way of the agent
@@ Property / cites work: The way of the agent / rank @@
+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 @@
+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 @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / 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 @@
+T \(\times\) W completeness
@@ Property / cites work: T \(\times\) W completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518428
@@ Property / cites work: Q4518428 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gabbay-rule free axiomatization of \(T\times W\) validity
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of tense and modality for predicate logic
+Normal rank
@@ Property / cites work @@
+Q2771498
@@ Property / cites work: Q2771498 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of stit theory with a single agent and Refref equivalence
+Normal rank
@@ Property / cites work @@
+Q4518432
@@ Property / cites work: Q4518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Doing and refraining from refraining
@@ Property / cites work: Doing and refraining from refraining / rank @@
+Normal rank
@@ Property / cites work @@
+Busy choice sequences refraining formulas and modalities
+Normal rank
@@ Property / cites work @@
+On the basic logic of<i>STIT</i>with a single agent
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / rank @@
+Normal rank