scientific article
From MaRDI portal
zbMath0565.68003MaRDI QIDQ3680239
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticstemporal logicCSPTempurafirst-order temporal logiclogic programming languageassertion languageInterval Temporal Logic
Related Items
An overview of transaction logic, Operational semantics of Framed Tempura, MetateM: An introduction, An application of temporal projection to interleaving concurrency, Duration calculus: Logical foundations, Programming in metric temporal logic, A complete proof system for propositional projection temporal logic, Multi-dimensional logic programming: theoretical foundations, Balancing expressiveness in formal approaches to concurrency, An infinitary encoding of temporal equilibrium logic, Induction in the timed interval calculus, Verification of distributed systems with the axiomatic system of MSVL, Foundations of linear-time logic programming, Defining, analysing and implementing communication protocols using attribute grammars, Domain science and engineering from computer science to the sciences of informatics. I: Engineering, TABLEAUX: A general theorem prover for modal logics, Reversibility of Executable Interval Temporal Logic Specifications, 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, A decision procedure for propositional projection temporal logic with infinite models, Proving linearizability with temporal logic, On the completeness and decidability of duration calculus with iteration, Linear time-dependent constraints programming with MSVL, A timeband framework for modelling real-time systems, Temporal logic programming, Axiomatic semantics of projection temporal logic programs, Connection between logical and algebraic approaches to concurrent systems, Distributed processes and location failures, 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, Index set expressions can represent temporal logic formulas, Formal Verification of a Lock-Free Stack with Hazard Pointers, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Some Fixed-Point Issues in PPTL, A timed concurrent constraint language.
