Brauner00'

@inproceedings{DBLP:conf/aiml/Brauner00,
  author    = {Torben Bra{\"u}ner},
  title     = {Homophonic Theory of Truth for Tense Logic},
  booktitle = {Advances in Modal Logic},
  year      = {2000},
  pages     = {59-72},
  crossref  = {DBLP:conf/aiml/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2000,
  editor    = {Frank Wolter and
               Heinrich Wansing and
               Maarten de Rijke and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 3, papers from the third conference
               on "Advances in Modal logic," held in Leipzig (Germany)
               in October 2000},
  booktitle = {Advances in Modal Logic},
  publisher = {World Scientific},
  year      = {2002},
  isbn      = {981-238-179-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}