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
- Propositional dynamic logic of regular programs
- An update on ``might
- Title not available (Why is that?)
- Title not available (Why is that?)
- Substructural logic and partial correctness
- Residuated lattices. An algebraic glimpse at substructural logics
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Title not available (Why is that?)
- Kleene algebra with domain
- Internal axioms for domain semirings
- Dynamic predicate logic
- From semirings to residuated Kleene lattices
- An equational axiomatization of dynamic negation and relational composition
- On Action Logic: Equational Theories of Action Algebras
- On the complexity of reasoning in Kleene algebra
- On the complexity of Kleene algebra with domain
- An infinitary sequent system for the equational theory of *-continuous action lattices
- Title not available (Why is that?)
- Sequential dynamic logic
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
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)
