@article(AKM95,
 author       = {S. Ambler and M. Kwiatkowska and N. Measor},
 year         = {1995},
 title        = {Duality and the completeness of the modal $\mu$-calculus},
 journal      = {TCS},
 volume       = {151},
 pages        = {3--27},
 doi          = {10.1016/0304-3975(95)00045-X},
)
@incollection(AvBBN14,
 author       = {H. Andr\`eka and J. van Benthem and N. Bezhanishvili and I. N\`emeti},
 year         = {2014},
 title        = {Changing a semantics: opportunism or courage?},
 editor       = {M. Manzano et al.},
 booktitle    = {Life and work of Leon Henkin},
 publisher    = {Birkh\"auser},
 pages        = {307--337},
)
@article(BBH15,
 author       = {G. Bezhanishvili and N. Bezhanishvili and J. Harding},
 year         = {2015},
 title        = {Modal compact {H}ausdorff spaces},
 journal      = {J. Logic Comput.},
 volume       = {25},
 number       = {1},
 pages        = {1--35},
 doi          = {10.1093/logcom/exs030},
)
@article(befove10:viet,
 author       = {N. Bezhanishvili and G. Fontaine and Y. Venema},
 year         = {2010},
 title        = {Vietoris Bisimulations},
 journal      = {Journal of Logic and Computation},
 volume       = {20},
 number       = {5},
 pages        = {1017--1040},
 doi          = {10.1093/logcom/exn091},
)
@article(Bh12b,
 author       = {N. Bezhanishvili and I. Hodkinson},
 year         = {2012},
 title        = {Preservation of {S}ahlqvist fixed point equations in completions of relativized fixed point {BAO}s},
 journal      = {Algebra Universalis},
 volume       = {68},
 pages        = {43--56},
 doi          = {10.1007/s00012-012-0196-x},
)
@article(BH12a,
 author       = {N. Bezhanishvili and I. Hodkinson},
 year         = {2012},
 title        = {Sahlqvist theorem for modal fixed point logic},
 journal      = {TCS},
 volume       = {424},
 pages        = {1--19},
 doi          = {10.1016/j.tcs.2011.11.026},
)
@article(BS15,
 author       = {N. Bezhanishvili and S. Sourabh},
 year         = {2015},
 title        = {Sahlqvist preservation for topological fixed-point logic},
 journal      = {J. Logic Comput.},
 doi          = {10.1093/logcom/exv010.},
)
@book(BdRV01,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 year         = {2001},
 title        = {Modal Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107050884},
)
@inproceedings(tenCF10,
 author       = {B. ten Cate and G. Fontaine},
 year         = {2010},
 title        = {An easy completeness proof for the modal $\mu$-calculus on finite trees},
 editor       = {L. Ong},
 booktitle    = {FOSSACS 2010},
 series       = {LNCS},
 volume       = {6014},
 publisher    = {Springer},
 pages        = {161--175},
 doi          = {10.1007/978-3-642-12032-9\_12},
)
@inproceedings(emer:tree91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-calculus and determinacy},
 booktitle    = {Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science (FoCS'91)},
 publisher    = {IEEE},
 pages        = {368--377},
)
@misc(GoldIan,
 author       = {R. Goldblatt and I. Hodkinson},
 year         = {2016},
 title        = {Spatial logic of modal mu-calculus and tangled closure operators},
 note         = {Submitted},
)
@book(grae:auto02,
 editor       = {E. Gr{\"a}del and W. Thomas and T. Wilke},
 year         = {2002},
 title        = {Automata, Logic, and Infinite Games},
 series       = {LNCS},
 volume       = {2500},
)
@inproceedings(DBLP:conf/lics/Henzinger96,
 author       = {T. Henzinger},
 year         = {1996},
 title        = {The Theory of Hybrid Automata},
 booktitle    = {LICS},
 publisher    = {IEEE},
 pages        = {278--292},
 doi          = {10.1109/LICS.1996.561342},
)
@article(Kozen83,
 author       = {D. Kozen},
 year         = {1983},
 title        = {Results on the propositional $\mu$-calculus},
 journal      = {TCS},
 volume       = {27},
 pages        = {333--353},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@article(KKV04,
 author       = {C. Kupke and A. Kurz and Y. Venema},
 year         = {2004},
 title        = {Stone coalgebras},
 journal      = {TCS},
 volume       = {327},
 number       = {1-2},
 pages        = {109--134},
 doi          = {10.1016/j.tcs.2004.07.023},
)
@techreport(most:game91,
 author       = {A. Mostowski},
 year         = {1991},
 title        = {Games with Forbidden Positions},
 type         = {Technical Report},
 number       = {78},
 institution  = {Instytut Matematyki, Uniwersytet Gda\'{n}ski, Poland},
)
@article(Sant08,
 author       = {L. Santocanale},
 year         = {2008},
 title        = {Completions of {$\mu$}-algebras},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {154},
 number       = {1},
 pages        = {27--50},
 doi          = {10.1016/j.apal.2007.11.001},
)
@article(SantVen10,
 author       = {L. Santocanale and Y. Venema},
 year         = {2010},
 title        = {Completeness for flat modal fixpoint logics},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {162},
 number       = {1},
 pages        = {55--82},
 doi          = {10.1016/j.apal.2010.07.003},
)
@book(Sik60,
 author       = {R. Sikorski},
 year         = {1960},
 title        = {Boolean algebras},
 series       = {Erg.~der Math.~u.~ihrer~Grenzgeb.},
 volume       = {25},
 doi          = {10.1007/978-3-662-01492-9},
)
@article(telga:topo87,
 author       = {R. Telg\'arsky},
 year         = {1987},
 title        = {Topological games: On the 50th anniversary of the {B}anach-{M}azur game},
 journal      = {Rocky Mountain J. Math.},
 volume       = {17},
 pages        = {227--276},
 doi          = {10.1216/RMJ-1987-17-2-227},
)
@article(Venema04,
 author       = {Y. Venema},
 year         = {2004},
 title        = {A dual characterization of subdirectly irreducible {BAO}s},
 journal      = {Studia Logica},
 volume       = {77},
 number       = {1},
 pages        = {105--115},
 doi          = {10.1023/B:STUD.0000034188.80692.46},
)
@article(vene:mu,
 author       = {Y. Venema},
 year         = {2012},
 title        = {Lectures on the modal $\mu$-calculus},
 journal      = {Unpublished Manuscript},
 url          = {https://staff.fnwi.uva.nl/y.venema/teaching/ml/mu/mu20121116.pdf},
)
@article(Wal95,
 author       = {I. Walukiewicz},
 year         = {2000},
 title        = {Completeness of {K}ozen's axiomatisation of the propositional {$\mu$}-calculus},
 journal      = {Information and Computation},
 volume       = {157},
 number       = {1-2},
 pages        = {142--182},
 doi          = {10.1006/inco.1999.2836},
 note         = {LICS 1995 (San Diego, CA)},
)