MoL-2011-15: Marti, Johannes (2011) Relation Liftings in Coalgebraic Modal Logic. [Report]
Preview |
Text (Full Text)
MoL-2011-15.text.pdf Download (451kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
MoL-2011-15.abstract.txt Download (799B) |
Abstract
In this thesis we study relation liftings in the context of
coalgebraic modal logic. In the first part of the thesis we look for
conditions on relation liftings that can be used to define a notion of
bisimilarity between states in coalgebras, such that two states are
bisimilar if and only if they are behaviorally equivalent. We show
that this is the case for relation liftings that are lax extensions
and additionally preserve diagonal relations. In the second part of
the thesis we develop a coalgebraic nabla logic for an arbitrary lax
extension. For this logic we prove that, under additional conditions,
bisimulation quantifiers are definable in the nabla logic. This has a
Uniform Interpolation Theorem as consequence.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2011-15 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2011 |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/860 |
Actions (login required)
 |
View Item |
