A Branching Time Logical System for Open Distributed Systems Development (Q4916209): Difference between revisions

@@ Property / cites work @@
+Q4885875
@@ Property / cites work: Q4885875 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860769
@@ Property / cites work: Q4860769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733381
@@ Property / cites work: Q4733381 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching versus linear logics yet again
@@ Property / cites work: Branching versus linear logics yet again / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal theories as modularisation units for concurrent system specification
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in temporal logic
+Normal rank
@@ Property / cites work @@
+Decidability and incompleteness results for first-order temporal logics of linear time
+Normal rank
@@ Property / cites work @@
+Object Specification Logic
@@ Property / cites work: Object Specification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Can message buffers be axiomatized in linear temporal logic?
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+A complete deductive-system for since-until branching-time logic
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank