scientific article; zbMATH DE number 3985193

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(61)

Deontic action logic, atomic Boolean algebras and fault-tolerance
An introduction to practical formal methods using temporal logic
Specifying reversibility with \(\mathrm{TLA}^+\)
Temporal object-oriented programming
A history of until
Order-sorted model theory for temporal executable specifications
Specification of abstract dynamic-data types: A temporal logic approach
scientific article; zbMATH DE number 830431 (Why is no real title available?)
Incompleteness of a first-order Gödel logic and some temporal logics of programs
Formal verification and evaluation of execution time in the envelope theory
Decidability and incompleteness results for first-order temporal logics of linear time
scientific article; zbMATH DE number 4182845 (Why is no real title available?)
scientific article; zbMATH DE number 148938 (Why is no real title available?)
Similarity saturation for first order linear temporal logic with UNLESS
Handling database updates in two-dimensional temporal logic
scientific article; zbMATH DE number 4055577 (Why is no real title available?)
Verifying temporal properties without temporal logic
A non-hyperarithmetical Gödel logic
Programming in metric temporal logic
Semantics of temporal classes
On the interpretability of arithmetic in temporal logic
LOGSPACE and PTIME characterized by programming languages
Temporal representation and reasoning in artificial intelligence: A review
Reasoning about time in the situation calculus
Operational semantics of Framed Tempura
A Temporal Logic for Multi-threaded Programs
Sheaves and geometric logic and applications to modular verification of complex systems
Temporal logic programs with variables
A decision procedure for propositional projection temporal logic with infinite models
A complete axiomatic characterization of first-order temporal logic of linear time
Modal rules are co-implications
Completeness of a first-order temporal logic with time-gaps
On proving properties of completion strategies
scientific article; zbMATH DE number 4119592 (Why is no real title available?)
Querying datalog programs with temporal logic
scientific article; zbMATH DE number 3846861 (Why is no real title available?)
Construction of deterministic transition graphs from dynamic integrity constraints
Temporal logic with recursion
scientific article; zbMATH DE number 4076583 (Why is no real title available?)
Axiomatizing fixpoint logics
Proof-theoretical investigation of temporal logic with time gaps
Planning from second principles
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
Transformation of dynamic integrity constraints into transaction specifications
Completing the temporal picture
Verification of reactive systems using temporal logic with clocks
Formal Reasoning About Influence in Natural Sciences Experiments
Specification and design of shared resource arbitration
Temporal and dynamic logic
Logic Programming
Process specification and verification
A Branching Time Logical System for Open Distributed Systems Development
A Labeled Natural Deduction System for a Fragment of CTL *
scientific article; zbMATH DE number 4153903 (Why is no real title available?)
On the expressive power of temporal logic for infinite words
On strictly arithmetical completeness in logics of programs
Branching time? Pruning time!
Using typed lambda calculus to implement formal systems on a machine
Algebra and theory of order-deterministic pomsets
TTL : a formalism to describe local and global properties of distributed systems
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3749040)