Modal Semirings Revisited

DOI10.1007/978-3-540-70594-9_19MaRDI QIDQ3521996zbMATH OpenOpenAlexFDO

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

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

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

• 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
• 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?)
• 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

(19)

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

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)