BibTeX record journals/fuin/BenthemG10

download as .bib file

@article{DBLP:journals/fuin/BenthemG10,
  author    = {Johan van Benthem and
               Am{\'{e}}lie Gheerbrant},
  title     = {Game Solution, Epistemic Dynamics and Fixed-Point Logics},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {19--41},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics