Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests

DOI10.1007/978-3-031-15298-6_14arXiv2209.10610OpenAlexW4296933619MaRDI QIDQ6160745

J. J. Wannenburg, Igor Sedlár

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.10610

zbMATH Keywords

substructural logicHoare logicpartial correctnessKleene algebra with testsKleene algebra with codomain

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Internal axioms for domain semirings
• A completeness theorem for Kleene algebras and the algebra of regular events
• From semirings to residuated Kleene lattices
• Free Kleene algebras with domain
• On Action Logic: Equational Theories of Action Algebras
• Modal Semirings Revisited
• Substructural logic and partial correctness
• Kleene algebra with domain
• On Hoare logic and Kleene algebra with tests

This page was built for publication: Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests