DBLP Record 'conf/aiml/KupkeKV08'

BibTeX

@inproceedings{DBLP:conf/aiml/KupkeKV08,
  author    = {Clemens Kupke and
               Alexander Kurz and
               Yde Venema},
  title     = {Completeness of the finitary Moss logic},
  booktitle = {Advances in Modal Logic},
  year      = {2008},
  pages     = {193-217},
  ee        = {http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf},
  crossref  = {DBLP:conf/aiml/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2008,
  editor    = {Carlos Areces and
               Robert Goldblatt},
  title     = {Advances in Modal Logic 7, papers from the seventh conference
               on "Advances in Modal Logic," held in Nancy, France, 9-12
               September 2008},
  booktitle = {Advances in Modal Logic},
  publisher = {College Publications},
  year      = {2008},
  isbn      = {978-1-904987-68-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}