论文信息 - Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2 - 字舞流文

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2

Willem Conradie | Alessandra Palmigiano | Sumit Sourabh | Yves Fomatati

[1] Willem Conradie,et al. Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 , 2013, TACL.

[2] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[3] Valentin Goranko,et al. Elementary canonical formulae: extending Sahlqvist's theorem , 2006, Ann. Pure Appl. Log..

[4] Willem Conradie,et al. Algorithmic correspondence and canonicity for distributive modal logic , 2012, Ann. Pure Appl. Log..

[5] Johan van Benthem,et al. Sahlqvist Correspondence for Modal mu-calculus , 2012, Studia Logica.

[6] Willem Conradie,et al. Algorithmic correspondence for intuitionistic modal mu-calculus , 2015, Theor. Comput. Sci..