Axiomatic semantics of projection temporal logic programs (Q3060195): Difference between revisions

@@ Property / author @@
+Xiao-Xiao Yang
@@ Property / author: Xiao-Xiao Yang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CACTUS
@@ Property / describes a project that uses: CACTUS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic programming: the language Cactus and its applications
+Normal rank
@@ Property / cites work @@
+A Temporal extension of Prolog
@@ Property / cites work: A Temporal extension of Prolog / rank @@
+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 @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Programming in metric temporal logic
@@ Property / cites work: Programming in metric temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics of Framed Tempura
@@ Property / cites work: Operational semantics of Framed Tempura / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank