μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★

References

• D'AGOSTINO , G. and HOLLENBERG , M. 2000 . Logical questions concerning the μ- calculus . Journal of Symbolic Logic , 65 : 310 – 332 .
   Web of Science ®Google Scholar
• D'AGOSTINO , G. and LENZI , G. March 2006 . A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames , March , Department of Mathematics, University of Pisa . Technical Report num. 1626
   Google Scholar
• FRENCH , T. 2006 . Bisimulation Quantifiers for Modal Logics , University of Western Australia . PhD Thesis
   Google Scholar
• GHILARDI , S. and ZAWADOWSKI , M. 1995 . Undefinability of Propositional Quantifiers in the Modal System S4 . Studia Logica , 55 : 259 – 271 .
   Google Scholar
• GHILARDI , S. and ZAWADOWSKI , M. 2002 . Sheaves, Games and Model Completions (a categorical approach to non classical propositional logics) , Trends in Logic Series Kluwer .
   Google Scholar
• HOLLENBERG , M. 1998 . Logic and Bisimulation , Vol. XXIV , University of Utrecht . PhD Thesis. Zeno Institute of Philosophy
   Google Scholar
• VISSER , A. 1996 . “ Uniform interpolation and layered bisimulation ” . In Goedel '96, vol. 6 of Lecture Notes in Logic , 139 – 164 . Springer .
   Google Scholar