Non-associative Kleene Algebra and Temporal Logics
From MaRDI portal
(Redirected from Publication:5283205)
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
(5)
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)
