Quantales and Temporal Logics

DOI10.1007/11784180_21zbMATH Open1235.03051OpenAlexW1552230033MaRDI QIDQ3623939FDOQ3623939

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

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

Recommendations

• Temporal algebra
• scientific article; zbMATH DE number 1512710
• Non-associative Kleene Algebra and Temporal Logics
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Quantitative \(\mu\)-calculus and CTL based on constraint semirings

Mathematics Subject Classification ID

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

Cited In (17)

• Title not available (Why is that?)
• Quantitative \(\mu\)-calculus and CTL based on constraint semirings
• Dynamic contact algebras and quantifier-free logics for space and time
• An algebra of hybrid systems
• Convolution as a Unifying Concept
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Developments in concurrent Kleene algebra
• Algebraic separation logic
• Non-associative Kleene Algebra and Temporal Logics
• Knowledge and Games in Modal Semirings
• Exploring an interface model for CKA
• Quantales and structural rules
• Modal algebra and Petri nets
• Algebraic neighbourhood logic
• Algebraic investigation of connected components
• Automated verification of reactive and concurrent programs by calculation
• Quantified temporal alethic-deontic logic

This page was built for publication: Quantales and Temporal Logics

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