Non-associative Kleene Algebra and Temporal Logics

DOI10.1007/978-3-319-57418-9_6MaRDI QIDQ5283205zbMATH OpenOpenAlexFDO

Authors Jules Desharnais, Bernhard Möller

Publication date 21 July 2017

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3916

zbMATH Keywords

semanticsKleene algebratemporal logicsrepetition algebra

Mathematics Subject Classification ID

Temporal logic (03B44) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 7723711
• scientific article; zbMATH DE number 22186
• Non-transitive linear temporal logic and logical knowledge operations
• An algebraic approach to temporal logic
• scientific article; zbMATH DE number 4158604
• A non-reified temporal logic
• Nonclausal deduction in first-order temporal logic
• Algebraization of Non-structural Logics
• Temporal non-commutative logic: expressing time, resource, order and hierarchy
• Kleene algebra and modal logic

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Characterizing determinacy in Kleene algebras
• Computation calculus bridging a formalization gap
• Exploring an interface model for CKA
• ITERATION ALGEBRAS
• Kleene algebra with domain
• Kleene getting lazy
• Mathematics of Program Construction
• Non-associative Kleene Algebra and Temporal Logics
• Quantales and Temporal Logics
• Some results in dynamic model theory

Cited in

(4)

• Quantales and Temporal Logics
• scientific article; zbMATH DE number 7723711 (Why is no real title available?)
• Nonclausal deduction in first-order temporal logic
• Non-associative Kleene Algebra and Temporal Logics

This page was built for publication: Non-associative Kleene Algebra and Temporal Logics

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