The following pages link to Kleene algebra and modal logic (Q2731097):
Displaying 15 items.
- Kleene under a modal demonic star (Q817579) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- Komori identities in algebraic logic (Q2752411) (← links)
- (Q2767185) (← links)
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724) (← links)
- Kleene's Logic, Generalized (Q3988058) (← links)
- (Q4636025) (← links)
- (Q4789047) (← links)
- (Q4995358) (← links)
- (Q5169616) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Algebraic Methodology and Software Technology (Q5312995) (← links)
- On Hoare logic and Kleene algebra with tests (Q5738898) (← links)