MoL-2012-19: Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus

MoL-2012-19: Fomatati, Yves (2012) Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2012-19.text.pdf

Download (465kB) | Preview
[thumbnail of Abstract] 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 View Item