### Abstract

Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure in a relational language based on power allegories extended with specific operations on multirelations. We develop algebras of modal operators over multirelations, related to concurrent dynamic logics, in this language.

### License

BSD License

### Topics

- Mathematics/Algebra

### Related publications

- Furusawa, H., Guttmann, W., & Struth, G. (2023). On the Inner Structure of Multirelations (Version 2). arXiv. https://doi.org/10.48550/ARXIV.2305.11342
- Furusawa, H., Guttmann, W., & Struth, G. (2023). Determinism of Multirelations (Version 2). arXiv. https://doi.org/10.48550/ARXIV.2305.11344
- Furusawa, H., Guttmann, W., & Struth, G. (2023). Modal Algebra of Multirelations (Version 2). arXiv. https://doi.org/10.48550/ARXIV.2305.11346

### Session Multirelations_Heterogeneous

- Relational_Properties
- Power_Allegories_Properties
- Multirelations_Basics
- Power_Allegories_Multirelations
- Multirelations

## Cite

×

Multirelations_Heterogeneous-AFP

    @article{Multirelations_Heterogeneous-AFP,
      author  = {Walter Guttmann and Georg Struth},
      title   = {Inner Structure, Determinism and Modal Algebra of Multirelations},
      journal = {Archive of Formal Proofs},
      month   = {May},
      year    = {2023},
      note    = {\url{https://isa-afp.org/entries/Multirelations_Heterogeneous.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest

Older releases:

- Sep 13, 2023 : Isabelle2023
- Jun 9, 2023 : Isabelle2022