Modal Semirings Revisited

DOI10.1007/978-3-540-70594-9_19MaRDI QIDQ3521996zbMATHOpenAlexFDO

Authors Jules Desharnais, Georg Struth

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70594-9_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semirings (16Y60)

Recommendations

• Internal axioms for domain semirings
• Domain Axioms for a Family of Near-Semirings
• Exploring modal worlds
• Algebraic Methodology and Software Technology
• Algebras of modal operators and partial correctness

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• scientific article; zbMATH DE number 2090321 (Why is no real title available?)
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebras of modal operators and partial correctness
• Automated Reasoning in Kleene Algebra
• Automated theorem proving by resolution in non-classical logics
• Boolean Algebras with Operators. Part I
• Computer Science Logic
• Demonic Algebra with Domain
• Domain Axioms for a Family of Near-Semirings
• Kleene algebra with domain
• Kleene modules and linear languages
• Refinement Algebra with Operators for Enabledness and Termination
• Theory Is Forever
• Towards a refinement algebra
• Using Probabilistic Kleene Algebra for Protocol Verification

Cited in

(18)

• Relational and Kleene-Algebraic Methods in Computer Science
• Revisiting Semilattice Semantics
• On the complexity of Kleene algebra with domain
• The Structure of the One-Generated Free Domain Semiring
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• Algebras of modal operators and partial correctness
• Internal axioms for domain semirings
• Exploring modal worlds
• Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• Abstract representation theorems for demonic refinement algebras
• Modal tools for separation and refinement
• Domain semirings united
• Axiomatizability of representable domain algebras
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• Domain Axioms for a Family of Near-Semirings
• Modal restriction semigroups: towards an algebra of functions.
• Automated verification of refinement laws

This page was built for publication: Modal Semirings Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521996)