Temporal algebra

DOI10.1017/S0960129598002540zbMath0917.03011MaRDI QIDQ4236210

Burghard von Karger

Publication date: 7 July 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

fixed pointGalois connectioncomplete latticetemporal logictemporal reasoninglinear temporal logicalgebraic reasoningtemporal algebragraph-theoretic algorithmintuitionistic temporal logicbranching time logic CTL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complete lattices, completions (06B23) Specification and verification (program logics, model checking, etc.) (68Q60) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

Algebras of modal operators and partial correctness, Pair algebras and Galois connections., Logics from Galois connections, Importing logics: soundness and completeness preservation, Exploring an Interface Model for CKA, Categories for Dynamic Epistemic Logic, Pointfree expression and calculation: From quantification to temporal logic, Modes of adjointness, Importing logics, Fixing Zeno gaps, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, An algebraic study of tense operators on Nelson algebras, Learning in a Changing World, an Algebraic Modal Logical Approach, An algebra of hybrid systems, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Context Algebras, Context Frames, and Their Discrete Duality, Modal algebra and Petri nets, Interpretability of first-order linear temporal logics in fork algebras