MoL-2012-19: Fomatati, Yves (2012) Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus. [Report]
Preview |
Text (Full Text)
MoL-2012-19.text.pdf Download (465kB) | Preview |
Text (Abstract)
MoL-2012-19.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 non-classical
base. We focus in particular on the intuitionistic modal
mu-calculus. We enhance the ALBA algorithm [26] for the elimination of
monadic second order variables so that mu-formulas 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 order-theoretic
properties of the interpretation of fixpoint binders in the algebraic
semantics for intuitionistic mu-calculus. We define the class of
recursive inequalities and informally justify that the enhanced ALBA
is successful on this class.
Item Type: | Report |
---|---|
Report Nr: | MoL-2012-19 |
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 |