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 |