MoL-2021-15: Relation Lifting and Coalgebraic Logic

MoL-2021-15: Schoen, Ezra (2021) Relation Lifting and Coalgebraic Logic. [Report]

[thumbnail of MoL-2021-15.text.pdf] Text

Download (729kB)


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
Depositing User: Dr Marco Vervoort
Date Deposited: 05 Sep 2021 16:32
Last Modified: 05 Sep 2021 16:32

Actions (login required)

View Item View Item