zbMath0609.03007MaRDI QIDQ3749040
Fred Kröger
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
On proving properties of completion strategies,
Operational semantics of Framed Tempura,
Deontic action logic, atomic Boolean algebras and fault-tolerance,
Completeness of a first-order temporal logic with time-gaps,
Branching Time? Pruning Time!,
Decidability and incompleteness results for first-order temporal logics of linear time,
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time,
Handling database updates in two-dimensional temporal logic,
A History of Until,
A complete axiomatic characterization of first-order temporal logic of linear time,
A non-hyperarithmetical Gödel logic,
TTL : a formalism to describe local and global properties of distributed systems,
Reasoning about time in the situation calculus,
Programming in metric temporal logic,
Specification of abstract dynamic-data types: A temporal logic approach,
Order-sorted model theory for temporal executable specifications,
Planning from second principles,
Construction of deterministic transition graphs from dynamic integrity constraints,
Theoretical foundations of handling large substitution sets in temporal integrity monitoring,
Specifying reversibility with \(\mathrm{TLA}^+\),
Transformation of dynamic integrity constraints into transaction specifications,
On the interpretability of arithmetic in temporal logic,
Completing the temporal picture,
Specification and design of shared resource arbitration,
Axiomatizing fixpoint logics,
Process specification and verification,
Using typed lambda calculus to implement formal systems on a machine,
A Branching Time Logical System for Open Distributed Systems Development,
Modal Rules are Co-Implications,
A decision procedure for propositional projection temporal logic with infinite models,
Proof-theoretical investigation of temporal logic with time gaps,
Temporal representation and reasoning in artificial intelligence: A review,
On strictly arithmetical completeness in logics of programs,
A Labeled Natural Deduction System for a Fragment of CTL *,
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems,
Algebra and theory of order-deterministic pomsets,
Similarity saturation for first order linear temporal logic with UNLESS,
Verification of reactive systems using temporal logic with clocks,
Semantics of temporal classes,
On the expressive power of temporal logic for infinite words,
Querying datalog programs with temporal logic
