Sahlqvist Correspondence for Modal mu-calculus

Abstract

We define analogues of modal Sahlqvist formulas for the modal mucalculus, and prove a correspondence theorem for them. 
DOI: 10.1007/s11225-012-9388-9

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics