thesis.bib

@preamble{ {\providecommand{\noopsort}[1]{}} }

@article{gerbrandy1997reasoning,
  title={Reasoning about information change},
  author={Gerbrandy, J. and Groeneveld, W.},
  journal={Journal of Logic, Language and Information},
  volume={6},
  number={2},
  pages={147--169},
  year={1997},
  publisher={Springer}
}

@inproceedings{vanditmarsch1999logic,
  title={The logic of knowledge games: showing a card},
  author={\noopsort{Ditmarsch}{van Ditmarsch}, H.},
  booktitle={Proceedings of the BNAIC},
  volume={99},
  pages={35--42},
  year={1999},
  organization={Maastricht University}
}

@article{vanditmarsch2001knowledge,
  title={Knowledge games},
  author={\noopsort{Ditmarsch}{van Ditmarsch}, H.},
  journal={Bulletin of Economic Research},
  volume={53},
  number={4},
  pages={249--273},
  year={2001},
  publisher={Wiley Online Library}
}

@inproceedings{vanditmarsch2001semantics,
  title={The semantics of concurrent knowledge actions},
  author={\noopsort{Ditmarsch}{van Ditmarsch}, H.},
  booktitle={Proc. ESSLLI Workshop on Logic and Games, Helsinki},
  year={2001}
}

@article{baltag2004logics,
  title={Logics for Epistemic Programs},
  author={Baltag, A. and Moss, L.S.},
  journal={Synthese},
  volume={139},
  number={2},
  pages={165--224},
  year={2004},
  publisher={JSTOR}
}

@inproceedings{balbiani2007arbitrary,
  title={What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability},
  author={Balbiani, P. and Baltag, A. and \noopsort{Ditmarsch}{van Ditmarsch}, H. and Herzig, A. and Hoshi, T. and de Lima, T.},
  booktitle={Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge},
  pages={42--51},
  year={2007},
  organization={ACM}
}

@article{plaza2007logics,
  title={Logics of public communications},
  author={Plaza, J.},
  journal={Synthese},
  volume={158},
  number={2},
  pages={165--179},
  year={2007},
  publisher={Springer}
}

@book{vanditmarsch2007dynamic,
  title={Dynamic epistemic logic},
  author={\noopsort{Ditmarsch}{van Ditmarsch}, H. and van der Hoek, W. and Kooi, B.},
  year={2007},
  publisher={Springer Verlag}
}

@article{french2008undecidability,
  title={Undecidability for arbitrary public announcement logic},
  author={Areces, C. and \noopsort{Ditmarsch}{van Ditmarsch}, H. and French, T. and Goldblatt, R.},
  journal={Advances in Modal Logic},
  volume={7},
  year={2008},
  publisher={College Publications},
  pages={23--42}
}

@article{french2009simulation,
  title={Simulation and information: Quantifying over epistemic events},
  author={\noopsort{Ditmarsch}{van Ditmarsch}, H. and French, T.},
  journal={Knowledge Representation for Agents and Multi-Agent Systems},
  pages={51--65},
  year={2009},
  publisher={Springer}
}

@inproceedings{french2010future,
    title       = {{Future event logic: axioms and complexity}},
    author      = {\noopsort{Ditmarsch}{van Ditmarsch}, H. and French, T. and Pinchinat, S.},
    booktitle   = {Advances in Modal Logic},
    year        = {2010},
    pages       = {24--27}
}

@article{french2006bisimulation,
  title={Bisimulation quantifiers for modal logics},
  author={French, T.},
  journal={PhD thesis, University of Western Australia},
  year={2006}
}

@book{meyer2004epistemic,
  title={Epistemic logic for AI and computer science},
  author={van der Hoek, W. and Meyer, J.J.C.},
  year={2004},
  pages={35--38},
  publisher={Cambridge Univ Pr}
}

@book{blackburn2002modal,
  title={Modal logic},
  author={Blackburn, P. and de Rijke, M. and Venema, Y.},
  volume={53},
  year={2002},
  pages={341--343},
  publisher={Cambridge Univ Pr}
}

@article{alchourron1985logic,
  title={On the logic of theory change: Partial meet contraction and revision functions},
  author={Alchourr{\'o}n, C.E. and G{\"a}rdenfors, P. and Makinson, D.},
  journal={Journal of symbolic logic},
  pages={510--530},
  year={1985},
  publisher={JSTOR}
}

@article{janin1995automata,
  title={Automata for the modal $\mu$-calculus and related results},
  author={Janin, D. and Walukiewicz, I.},
  journal={Mathematical Foundations of Computer Science 1995},
  pages={552--562},
  year={1995},
  publisher={Springer}
}

@article{bilkova2008proof,
  title={Proof systems for the coalgebraic cover modality},
  author={Bilkova, M. and Palmigiano, A. and Venema, Y.},
  journal={Advances in Modal Logic},
  volume={7},
  year={2008},
  publisher={College Publications},
  pages={1--21}
}

@book{hughes1996new,
  title={A new introduction to modal logic},
  author={Hughes, G.E. and Cresswell, M.J.},
  year={1996},
  publisher={Burns \& Oates}
}

@article{fischer1979propositional,
  title={Propositional dynamic logic of regular programs},
  author={Fischer, M.J. and Ladner, R.E.},
  journal={Journal of Computer and System Sciences},
  volume={18},
  number={2},
  pages={194--211},
  year={1979},
  publisher={Elsevier}
}

@article{vanbenthem2006logics,
  title={Logics of communication and change},
  author={\noopsort{Benthem}{van Benthem}, J. and van Eijck, J. and Kooi, B.},
  journal={Information and computation},
  volume={204},
  number={11},
  pages={1620--1662},
  year={2006},
  publisher={Citeseer}
}

@article{miller2005undecidability,
  title={The undecidability of iterated modal relativization},
  author={Miller, J.S. and Moss, L.S.},
  journal={Studia Logica},
  volume={79},
  number={3},
  pages={373--407},
  year={2005},
  publisher={Springer}
}

@article{pratt1980near,
  title={A near-optimal method for reasoning about action* 1},
  author={Pratt, V.R.},
  journal={Journal of Computer and System Sciences},
  volume={20},
  number={2},
  pages={231--254},
  year={1980},
  publisher={Elsevier}
}

@article{agotnes2010group,
  title={Group announcement logic},
  author={{\AA}gotnes, T. and Balbiani, P. and \noopsort{Ditmarsch}{van Ditmarsch}, H. and Seban, P.},
  journal={Journal of Applied Logic},
  volume={8},
  number={1},
  pages={62--81},
  year={2010},
  publisher={Elsevier}
}

@article{segerberg2001basic,
  title={The basic dynamic doxastic logic of AGM},
  author={Segerberg, K.},
  journal={Frontiers in belief revision},
  volume={22},
  pages={57--84},
  year={2001},
  publisher={Kluwer Academic Publisher}
}

@article{wolter1998dynamic,
  title={Dynamic description logics},
  author={Wolter, F. and Zakharyaschev, M.},
  journal={Advances in Modal Logic},
  volume={1998},
  pages={431--446},
  year={1998},
  publisher={Citeseer}
}

@book{gabbay2003many,
  title={Many-dimensional modal logics: theory and applications},
  author={Gabbay, D.M.},
  volume={148},
  year={2003},
  publisher={North Holland}
}

@article{hales2011refinement,
  title={Refinement Quantified Logics of Knowledge},
  author={Hales, J. and French, T. and Davies, R.},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={278},
  pages={85--98},
  year={2011},
  publisher={Elsevier}
}