DBLP Record 'conf/aiml/Shapirovsky08'

BibTeX

@inproceedings{DBLP:conf/aiml/Shapirovsky08,
  author    = {Ilya Shapirovsky},
  title     = {PSPACE-decidability of Japaridze's polymodal logic},
  booktitle = {Advances in Modal Logic},
  year      = {2008},
  pages     = {289-304},
  ee        = {http://www.aiml.net/volumes/volume7/Shapirovsky.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}
}