PP-2020-09: Completeness for axiomatic extensions of modal logic with the master modality

PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)

[thumbnail of mML_Filtration_030420.pdf]
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 View Item