DBLP Record 'conf/aiml/Brauner02'

BibTeX

@inproceedings{DBLP:conf/aiml/Brauner02,
  author    = {Torben Bra{\"u}ner},
  title     = {Functional Completenes for a Natural Deduction Formulation
               of Hybridized S5},
  booktitle = {Advances in Modal Logic},
  year      = {2002},
  pages     = {31-50},
  crossref  = {DBLP:conf/aiml/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2002,
  editor    = {Philippe Balbiani and
               Nobu-Yuki Suzuki and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 4, papers from the fourth conference
               on "Advances in Modal logic," held in Toulouse (France)
               in October 2002},
  booktitle = {Advances in Modal Logic},
  publisher = {King's College Publications},
  year      = {2003},
  isbn      = {0-9543006-2-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}