Publication:3680239
From MaRDI portal
zbMath0565.68003MaRDI QIDQ3680239
Publication date: 1985
semantics; temporal logic; CSP; Tempura; first-order temporal logic; logic programming language; assertion language; Interval Temporal Logic
Related Items
An infinitary encoding of temporal equilibrium logic, Foundations of linear-time logic programming, Distributed processes and location failures, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, A complete proof system for propositional projection temporal logic, Proving linearizability with temporal logic, On the completeness and decidability of duration calculus with iteration, Temporal logic programming, Balancing expressiveness in formal approaches to concurrency, Verification of distributed systems with the axiomatic system of MSVL, Defining, analysing and implementing communication protocols using attribute grammars, A timeband framework for modelling real-time systems, Programming in metric temporal logic, TABLEAUX: A general theorem prover for modal logics, An overview of transaction logic, Duration calculus: Logical foundations, Multi-dimensional logic programming: theoretical foundations, Induction in the timed interval calculus, A timed concurrent constraint language., MetateM: An introduction, Linear time-dependent constraints programming with MSVL, Guest editors' preface to special issue on interval temporal logics, RGITL: a temporal logic framework for compositional reasoning about interleaved programs, Compositional reasoning using intervals and time reversal, Index set expressions can represent temporal logic formulas, Operational semantics of Framed Tempura, An application of temporal projection to interleaving concurrency, Domain science and engineering from computer science to the sciences of informatics. I: Engineering, A decision procedure for propositional projection temporal logic with infinite models, Some Fixed-Point Issues in PPTL, Axiomatic semantics of projection temporal logic programs, Connection between logical and algebraic approaches to concurrent systems, Formal Verification of a Lock-Free Stack with Hazard Pointers, A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time, PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic, A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus, Logical Interpolation and Projection onto State in the Duration Calculus
