DBLP Record 'conf/aiml/TulenheimoS06'

BibTeX

@inproceedings{DBLP:conf/aiml/TulenheimoS06,
  author    = {Tero Tulenheimo and
               Merlijn Sevenster},
  title     = {On Modal Logic, IF Logic, and IF Modal Logic},
  booktitle = {Advances in Modal Logic},
  year      = {2006},
  pages     = {481-501},
  ee        = {http://www.aiml.net/volumes/volume6/Tulenheimo-Sevenster.ps},
  crossref  = {DBLP:conf/aiml/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2006,
  editor    = {Guido Governatori and
               Ian M. Hodkinson and
               Yde Venema},
  title     = {Advances in Modal Logic 6, papers from the sixth conference
               on "Advances in Modal Logic," held in Noosa, Queensland,
               Australia, on 25-28 September 2006},
  booktitle = {Advances in Modal Logic},
  publisher = {College Publications},
  year      = {2006},
  isbn      = {1-904987-20-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}