Hereditary Structural Completeness over K4
Date:
Presentation on investigation into hereditary structurally complete transitive modal logics via algebraic logic and duality. Also presented at LATD 2022, AAC 2022 and Logic Colloqium 2023.
Date:
Presentation on investigation into hereditary structurally complete transitive modal logics via algebraic logic and duality. Also presented at LATD 2022, AAC 2022 and Logic Colloqium 2023.