MoL201219: Fomatati, Yves (2012) Sahlqvist Correspondence for Intuitionistic Modal MuCalculus. [Report]

Text (Full Text)
MoL201219.text.pdf Download (465kB)  Preview 

Text (Abstract)
MoL201219.abstract.txt Download (822B) 
Abstract
The motivation of this thesis is the idea of extending the results in [13] to the case of logics with fixpoints and with a nonclassical base. We focus in particular on the intuitionistic modal mucalculus. We enhance the ALBA algorithm [26] for the elimination of monadic second order variables so that muformulas can be treated in which all the variables occur inside the scope of fixpoint binders. We prove that this enhancement is sound thanks to the ordertheoretic properties of the interpretation of fixpoint binders in the algebraic semantics for intuitionistic mucalculus. We define the class of recursive inequalities and informally justify that the enhanced ALBA is successful on this class.
Item Type:  Report 

Report Nr:  MoL201219 
Series Name:  Master of Logic Thesis (MoL) Series 
Year:  2012 
Uncontrolled Keywords:  Logic, Mathematics 
Depositing User:  Tanja Kassenaar 
Date Deposited:  12 Oct 2016 14:38 
Last Modified:  12 Oct 2016 14:38 
URI:  https://eprints.illc.uva.nl/id/eprint/885 
Actions (login required)
View Item 