DBLP Record 'conf/aiml/FrenchR02'

BibTeX

@inproceedings{DBLP:conf/aiml/FrenchR02,
  author    = {Tim French and
               Mark Reynolds},
  title     = {A Sound and Complete Proof System for QPTL},
  booktitle = {Advances in Modal Logic},
  year      = {2002},
  pages     = {127-148},
  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}
}