MoL-2021-15: Schoen, Ezra (2021) Relation Lifting and Coalgebraic Logic. [Report]
![[thumbnail of MoL-2021-15.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2021-15.text.pdf Download (729kB) |
Abstract
We study relation lifting in the context of universal coalgebra. In particular, we develop a family of logics based on the cover modality.
Firstly, we prove a Hennessy-Milner-style theorem, showing that on finite-branching coalgebras, logical equivalence coincides with a particular form of bisimulation. We also give a characterization of those formulas preserved under simulations.
Secondly, we present a sound and complete cut-free sequent calculus, and use it to derive sound and complete cut-free sequent calculi for modal logic and monotone modal logic.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2021-15 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2021 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 05 Sep 2021 16:32 |
| Last Modified: | 05 Sep 2021 16:32 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1805 |
Actions (login required)
 |
View Item |
