BibTeX record conf/aiml/FrenchMR04

• > Home > conf/aiml/FrenchMR04

@inproceedings{DBLP:conf/aiml/FrenchMR04,
  author       = {Tim French and
                  Ron van der Meyden and
                  Mark Reynolds},
  editor       = {Renate A. Schmidt and
                  Ian Pratt{-}Hartmann and
                  Mark Reynolds and
                  Heinrich Wansing},
  title        = {Axioms for Logics of Knowledge and Past Time: Synchrony and Unique
                  Initial States},
  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        = {53--72},
  publisher    = {King's College Publications},
  year         = {2004},
  url          = {http://www.aiml.net/volumes/volume5/French2.ps},
  timestamp    = {Thu, 15 Feb 2024 11:49:43 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/FrenchMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}