BibTeX record conf/aiml/Miyazaki04

download as .bib file

@inproceedings{DBLP:conf/aiml/Miyazaki04,
  author       = {Yutaka Miyazaki},
  editor       = {Renate A. Schmidt and
                  Ian Pratt{-}Hartmann and
                  Mark Reynolds and
                  Heinrich Wansing},
  title        = {Normal Modal Logics Containing {KTB} with some Finiteness Conditions},
  booktitle    = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
                  in Modal logic," held in Manchester, UK, 9-11 September 2004},
  pages        = {171--190},
  publisher    = {King's College Publications},
  year         = {2004},
  url          = {http://www.aiml.net/volumes/volume5/Miyazaki.ps},
  timestamp    = {Thu, 15 Feb 2024 11:49:43 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Miyazaki04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}