MoL-2022-02: Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited

MoL-2022-02: Carr, James (2022) Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited. [Report]

[thumbnail of MoL-2022-02.text.pdf] Text

Download (692kB)


A deductive system is said to be structurally complete if its admissible rules are derivable, and moreover is hereditarily structurally complete if all its finitary extensions are structurally complete. Citkin (1997) established a characterisation of hereditarily structurally complete intermediate logics and Rybakov (1995) gave a characterisation for transitive modal logics. Both their proofs are difficult in their own way, however recently Bezhanishvili and Moraschini (2019) gave a self-contained proof of Citkin’s result based on Esakia duality. The aim of this project is to do the same for Rybakov’s result using a duality for modal algebras. In doing so we will identify and correct for an error in Rybakov’s characterisation.

Item Type: Report
Report Nr: MoL-2022-02
Series Name: Master of Logic Thesis (MoL) Series
Year: 2022
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 04 Apr 2022 11:41
Last Modified: 04 Apr 2022 11:41

Actions (login required)

View Item View Item