Inner Structure, Determinism and Modal Algebra of Multirelations

Walter Guttmann 📧 and Georg Struth 📧

May 22, 2023

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

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

Cite

× 
@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: