PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)
Preview |
Text
mML_Filtration_030420.pdf Download (247kB) | Preview |
Abstract
We apply the technique of filtration to prove completeness for a class of axiomatic extensions of modal logic with the master modality. It suffices that the set of additional axioms is basic modal, canonical and admits filtration. We also take some steps towards generalising our results to sets of extra axioms formulated in the full language.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2020-09 |
Series Name: | Prepublication (PP) Series |
Year: | 2020 |
Uncontrolled Keywords: | modal logic, fixpoints, completeness, master modality, filtration |
Subjects: | Logic |
Depositing User: | Yde Venema |
Date Deposited: | 07 Apr 2020 08:24 |
Last Modified: | 07 Apr 2020 08:24 |
URI: | https://eprints.illc.uva.nl/id/eprint/1738 |
Actions (login required)
View Item |