DeepAI
Log In Sign Up

Coalgebraic modal logic and games for coalgebras with side effects

10/19/2021
by   H. Beohar, et al.
0

We study coalgebraic modal logic and games to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed categories/fibrations that is common, at least, to the aforementioned categories. In particular, we show how the coalgebraic notion of behavioural equivalence arises from a relation lifting (a special kind of indexed morphism) and we give a general recipe to construct such liftings in the above three cases. Lastly, we apply this framework to derive games and logical characterisations for (weighted) language equivalence and conditional bisimilarity.

READ FULL TEXT

page 1

page 3

page 5

page 7

page 13

page 15

page 29

08/21/2020

Logic-Induced Bisimulations

We define a new logic-induced notion of bisimulation (called ρ-bisimulat...
02/12/2019

Program Equivalence for Algebraic Effects via Modalities

This dissertation is concerned with the study of program equivalence and...
03/09/2019

Trace Equivalence and Epistemic Logic to Express Security Properties

In process algebras, security properties are expressed as equivalences b...
10/13/2020

Relating Structure and Power: Extended Version

Combinatorial games are widely used in finite model theory, constraint s...
06/23/2018

Relating Structure and Power: Comonadic Semantics for Computational Resources

Combinatorial games are widely used in finite model theory, constraint s...
03/29/2022

Graded Monads and Behavioural Equivalence Games

The framework of graded semantics uses graded monads to capture behaviou...
05/11/2021

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

In his recent and exploratory work on template games and linear logic, M...