Implicational Kleene algebra with domain and the substructural logic of partial correctness
From MaRDI portal
Publication:6646014
Cites work
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 549971 (Why is no real title available?)
- scientific article; zbMATH DE number 733404 (Why is no real title available?)
- scientific article; zbMATH DE number 1086671 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- An equational axiomatization of dynamic negation and relational composition
- An infinitary sequent system for the equational theory of *-continuous action lattices
- An update on ``might
- Dynamic predicate logic
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- From semirings to residuated Kleene lattices
- Internal axioms for domain semirings
- Kleene algebra with domain
- On Action Logic: Equational Theories of Action Algebras
- On the complexity of Kleene algebra with domain
- On the complexity of reasoning in Kleene algebra
- Propositional dynamic logic of regular programs
- Residuated lattices. An algebraic glimpse at substructural logics
- Sequential dynamic logic
- Substructural logic and partial correctness
This page was built for publication: Implicational Kleene algebra with domain and the substructural logic of partial correctness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646014)
