BibTeX record conf/aiml/BakhtiariDF16

download as .bib file

@inproceedings{DBLP:conf/aiml/BakhtiariDF16,
  author    = {Zeinab Bakhtiari and
               Hans van Ditmarsch and
               Sabine Frittella},
  editor    = {Lev D. Beklemishev and
               St{\'{e}}phane Demri and
               Andr{\'{a}}s Mat{\'{e}}},
  title     = {Algebraic semantics of refinement modal logic},
  booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
               "Advances in Modal Logic," held in Budapest, Hungary, August 30 -
               September 2, 2016},
  pages     = {38--57},
  publisher = {College Publications},
  year      = {2016},
  url       = {http://www.aiml.net/volumes/volume11/Bakhtiari-vanDitmarsch-Frittella.pdf},
  timestamp = {Thu, 12 Mar 2020 11:36:59 +0100},
  biburl    = {https://dblp.org/rec/conf/aiml/BakhtiariDF16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics