DS201812: Ilin, Julia (2018) Filtration Revisited: Lattices of Stable NonClassical Logics. Doctoral thesis, University of Amsterdam.
Text (Full Text)
DS201812.text.pdf Download (1MB) 

Text (Samenvatting)
DS201812.samenvatting.txt Download (3kB) 
Abstract
The topics covered in the thesis are about intuitionistic and modal logics but also touch the area of dynamic epistemic logic.
There are two standard methods to prove the finite model property (fmp) in modal and intuitionisitic logics: one of them is filtration and another one is selective filtration. Selective filtration leads to the notion of subframes, subframe formulas and subframe logics. Subframe logics are a wellstudied class of modal and superintuitionistic logics.
In this thesis, we concentrate on the notion of filtration and classes of formulas and logics that it gives rise to. Such logics are called stable logics. We study properties of stable logics and compare them to those of subframe logics. We also study subframe and stable intermediate logics via translations into intuitionistic modal logic. We apply tools from algebra and duality theory.
Another chapter is devoted to the class of NNILformulas. NNILformulas are defined by their syntactic shape (no nesting of implication to the left) and are known to axiomatize all intuitionistic subframe logics. Among our central results here is the construction of a universal model for NNILformulas.
Finally, we study the incarnation of filtration/stability in the setting of dynamic epistemic logic. We investigating a modality whose corresponding model transformation corresponds to quotienting. Epistemically, quotienting can be thought of as an abstraction. We investigate technical properties of logics equipped with such abstraction modalities. In some special cases, such logics can be regarded as logics of filtrations.
Item Type:  Thesis (Doctoral) 

Report Nr:  DS201812 
Series Name:  ILLC Dissertation (DS) Series 
Year:  2018 
Subjects:  Logic 
Depositing User:  Dr Marco Vervoort 
Date Deposited:  14 Jun 2022 15:17 
Last Modified:  14 Jun 2022 15:17 
URI:  https://eprints.illc.uva.nl/id/eprint/2161 
Actions (login required)
View Item 