Quantales and Temporal Logics

DOI10.1007/11784180_21zbMath1235.03051OpenAlexW1552230033MaRDI QIDQ3623939

Peter Höfner, Georg Struth, Bernhard Möller

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Temporal logic (03B44) Quantales (06F07)

Related Items (12)

Convolution as a Unifying Concept ⋮ Non-associative Kleene Algebra and Temporal Logics ⋮ Algebraic Investigation of Connected Components ⋮ Developments in concurrent Kleene algebra ⋮ Exploring an Interface Model for CKA ⋮ Knowledge and Games in Modal Semirings ⋮ Algebraic neighbourhood logic ⋮ Algebraic separation logic ⋮ An algebra of hybrid systems ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ Modal algebra and Petri nets ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

This page was built for publication: Quantales and Temporal Logics