Temporal logic with reference pointers

DOI10.1007/BFB0013985MaRDI QIDQ4518420zbMATH OpenFDO

Authors Valentin Goranko

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013985

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Hierarchies of modal and temporal logics with reference pointers
• Temporal Logics with Reference Pointers and Computation Tree Logics
• The temporal logic of branching time
• The complexity of propositional linear temporal logics
• The power of temporal proofs

Cited in

(18)

• Branching-time logics repeatedly referring to states
• A logic for the stepwise development of reactive systems
• Hybrid languages
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid dynamic logic institutions for event/data-based systems
• Model checking for hybrid branching-time logics
• Some comments on history based structures
• Simple cut elimination proof for hybrid logic
• Dynamic logic with binders and its application to the development of reactive systems
• The Fitch-Church paradox and first order modal logic
• Temporal Logics with Reference Pointers and Computation Tree Logics
• Inequality without irreflexivity
• A local-time-induced unique pointer basis
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals
• Guarded hybrid team logics
• On temporal references via definite descriptions in first-order monadic logic of order
• BNClassifier: classifying Boolean models by dynamic properties
• Temporal reference in linear tense logic

This page was built for publication: Temporal logic with reference pointers

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