Non-associative Kleene Algebra and Temporal Logics
From MaRDI portal
Publication:5283205
DOI10.1007/978-3-319-57418-9_6zbMATH Open1486.68099OpenAlexW2608888986MaRDI QIDQ5283205FDOQ5283205
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
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
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Exploring an Interface Model for CKA
- Quantales and Temporal Logics
- Kleene algebra with domain
- Kleene getting lazy
- Mathematics of Program Construction
- Characterizing determinacy in Kleene algebras
- Some results in dynamic model theory
- ITERATION ALGEBRAS
- Computation calculus bridging a formalization gap
- Non-associative Kleene Algebra and Temporal Logics
Cited In (4)
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)
