A decidable temporal logic of parallelism (Q1130239): Difference between revisions

@@ Property / author @@
+M. A. Reynolds
@@ Property / author: M. A. Reynolds / rank @@
+Normal rank
@@ 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.1305/ndjfl/1039700748
+Normal rank
@@ Property / OpenAlex ID @@
+W2040022302
@@ Property / OpenAlex ID: W2040022302 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and time
@@ Property / cites work: Logic and time / 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 @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining temporal logic systems
@@ Property / cites work: Combining temporal logic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for branching time logic
@@ Property / cites work: The decision problem for branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial isomorphisms on finite structures
+Normal rank
@@ Property / cites work @@
+Q4250042
@@ Property / cites work: Q4250042 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial isomorphisms of graphs
@@ Property / cites work: Extending partial isomorphisms of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of products of modal logics
@@ Property / cites work: Complexity of products of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A multiprocess network logic with temporal and spatial modalities
+Normal rank
@@ Property / cites work @@
+A decidable temporal logic of parallelism
@@ Property / cites work: A decidable temporal logic of parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Independent propositional modal logics
@@ Property / cites work: Independent propositional modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Causation
@@ Property / cites work: Causation / rank @@
+Normal rank
@@ Property / cites work @@
+T \(\times\) W completeness
@@ Property / cites work: T \(\times\) W completeness / rank @@
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank