Implicational Kleene algebra with domain and the substructural logic of partial correctness
From MaRDI portal
Publication:6646014
DOI10.1017/S0960129524000045MaRDI QIDQ6646014FDOQ6646014
Authors: Igor Sedlár 
Publication date: 29 November 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
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?)
- Title not available (Why is that?)
- 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)
