Branching versus linear logics yet again (Q911747): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+The unreal future
@@ Property / cites work: The unreal future / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207567
@@ Property / cites work: Q4207567 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+The INFOLOG linear tense propositional logic of events and transactions
+Normal rank
@@ Property / cites work @@
+Specification and verification of database dynamics
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Tense systems with discrete moments of time. I
@@ Property / cites work: Tense systems with discrete moments of time. I / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with time and chance
@@ Property / cites work: Reasoning with time and chance / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of dynamic integrity constraints into transaction specifications
+Normal rank
@@ Property / cites work @@
+Q3309037
@@ Property / cites work: Q3309037 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Q4187287
@@ Property / cites work: Q4187287 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835043
@@ Property / cites work: Q3835043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal aspects of logical procedure definition
@@ Property / cites work: Temporal aspects of logical procedure definition / rank @@
+Normal rank
@@ Property / cites work @@
+Indeterminist time and truth‐value gaps<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+A complete deductive-system for since-until branching-time logic
+Normal rank