What people are saying - Write a review
We haven't found any reviews in the usual places.
Combining Temporal Specification Techniques
Global Equivalence Proofs for ISTL
A Real Time Process Logic
29 other sections not shown
Other editions - View all
abductive abstract action adverbials algebra algorithm applied Artificial Intelligence atomic axiomatization axioms Calculus Chronolog complete Computer Science Concurrent MetateM consider consistency constraints corresponding CTL2 deductive defined definition deindexing denote dstit episode equivalent event Event Calculus example execution extension finite first-order first-order logic formal function Gabbay given goal granularity Horn clauses implementation induction infinite instance interpretation interval Interval Logic Lemma linear linear temporal logic modal logic programming modal operators model checking natural numbers node notion object operational semantics Petri nets Pnueli predicate problem procedure programming language proof properties propositional quantifiers query languages ready trace refinement relation relational algebra represented result rules satisfied semantics sequence specification structure subset symbols Templog temporal and modal temporal databases temporal domain temporal formula temporal logic temporal operators Temporal Prolog Tempura theorem theory timestamp transition true tuple valid variables