Catoids and modal convolution algebras

DOI10.1007/s00012-023-00805-9OpenAlexW4322007845MaRDI QIDQ2686581

Georg Struth, Christian Johansen, Uli Fahrenberg, Krzysztof Ziemiański

Publication date: 28 February 2023

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-023-00805-9

zbMATH Keywords

categoriesquantalesconvolution algebrasmodal algebrascatoidsmultisemigroupsquantitative software verification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantales (06F07) Generalizations of semigroups (20M75)

Uses Software

• Archive Formal Proofs

Cites Work

• Concurrent Kleene algebra and its foundations
• Internal axioms for domain semirings
• Handbook of weighted automata
• Reparametrizations of continuous paths
• Duration calculus. A formal approach to real-time systems.
• On multisemigroups.
• L-fuzzy sets
• Function systems
• Varieties of complex algebras
• Homologie singulière des espaces fibrés. Applications
• Posets with interfaces as a model for concurrency
• A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
• A Program Construction and Verification Tool for Separation Logic
• The validity of equations of complex algebras
• Domain and Antidomain Semigroups
• A propositional modal logic of time intervals
• Noncommutative geometry and reality
• The Algebra of Directed Acyclic Graphs
• Algebraic coherent confluence and higher globular Kleene algebras
• Domain Semirings United
• Convolution and concurrency
• Kleene algebra with domain
• Convolution as a Unifying Concept
• Δ-SETS I: HOMOTOPY THEORY
• [https://portal.mardi4nfdi.de/wiki/Publication:5731810 On the foundations of combinatorial theory I. Theory of M�bius Functions]
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item