Decidability of logics based on an indeterministic metric tense logic (Q897475): Difference between revisions

@@ 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 Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+Deontic epistemic stit logic distinguishing modes of mens rea
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A Gabbay-rule free axiomatization of \(T\times W\) validity
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of an Xstit logic
@@ Property / cites work: Decidability of an Xstit logic / 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 @@
+Indeterminist time and truth‐value gaps<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518432
@@ Property / cites work: Q4518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank