Completeness-via-canonicity in coalgebraic logics | Zendy

Fredrik Dahlqvist | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Completeness-via-canonicity in coalgebraic logics

Author(s) -

Fredrik Dahlqvist

Publication year - 2015

Publication title -

cornell university

Language(s) - English

DOI - 10.25560/27689

Subject(s) - completeness (order theory) , axiom , formalism (music) , algebraic number , algebra over a field , mathematics , modal , modal logic , generalization , suite , pure mathematics , calculus (dental) , discrete mathematics , mathematical analysis , medicine , art , musical , chemistry , geometry , archaeology , dentistry , polymer chemistry , visual arts , history

This thesis aims to provide a suite of techniques to generate completeness results for coalgebraic logics with axioms of arbitrary rank. We have chosen to investigate the possibility to generalize what is arguably one of the most successful methods to prove completeness results in `classical' modal logic, namely completeness-via-canonicity. This technique is particularly well-suited to a coalgebraic generalization because of its clean and abstract algebraic formalism.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research