scientific article; zbMATH DE number 3985193
zbMATH Open0609.03007MaRDI QIDQ3749040FDOQ3749040
Authors: Fred Kröger 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
invariance propertysequential programseventuality properties of programsprecedence propertyreasoning about the behavior of programs
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)
- Temporal object-oriented programming
- Specifying reversibility with \(\mathrm{TLA}^+\)
- A history of until
- Order-sorted model theory for temporal executable specifications
- Specification of abstract dynamic-data types: A temporal logic approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decidability and incompleteness results for first-order temporal logics of linear time
- Title not available (Why is that?)
- Handling database updates in two-dimensional temporal logic
- Title not available (Why is that?)
- Verifying temporal properties without temporal logic
- A non-hyperarithmetical Gödel logic
- Programming in metric temporal logic
- Semantics of temporal classes
- LOGSPACE and PTIME characterized by programming languages
- On the interpretability of arithmetic in temporal logic
- 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
- Temporal logic programs with variables
- Sheaves and geometric logic and applications to modular verification of complex systems
- Modal rules are co-implications
- A decision procedure for propositional projection temporal logic with infinite models
- A complete axiomatic characterization of first-order temporal logic of linear time
- On proving properties of completion strategies
- Completeness of a first-order temporal logic with time-gaps
- Title not available (Why is that?)
- Title not available (Why is that?)
- Querying datalog programs with temporal logic
- Title not available (Why is that?)
- Temporal logic with recursion
- Proof-theoretical investigation of temporal logic with time gaps
- Axiomatizing fixpoint logics
- 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
- Specification and design of shared resource arbitration
- Logic Programming
- Temporal and dynamic logic
- Process specification and verification
- A Branching Time Logical System for Open Distributed Systems Development
- A Labeled Natural Deduction System for a Fragment of CTL *
- Title not available (Why is that?)
- On the expressive power of temporal logic for infinite words
- On strictly arithmetical completeness in logics of programs
- Branching time? Pruning time!
- Algebra and theory of order-deterministic pomsets
- Using typed lambda calculus to implement formal systems on a machine
- A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
- TTL : a formalism to describe local and global properties of distributed systems
- An introduction to practical formal methods using temporal logic
- Deontic action logic, atomic Boolean algebras and fault-tolerance
- 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
- Similarity saturation for first order linear temporal logic with UNLESS
- Construction of deterministic transition graphs from dynamic integrity constraints
- Formal Reasoning About Influence in Natural Sciences Experiments
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)
