BibTeX record conf/aiml/Shehtman96

download as .bib file

@inproceedings{DBLP:conf/aiml/Shehtman96,
  author       = {Valentin B. Shehtman},
  editor       = {Marcus Kracht and
                  Maarten de Rijke and
                  Heinrich Wansing and
                  Michael Zakharyaschev},
  title        = {On Strong Neighbourhood Completeness of Modal and Intermediate Propositional
                  Logics (Part{\textasciitilde}I)},
  booktitle    = {Advances in Modal Logic 1, papers from the first workshop on "Advances
                  in Modal logic," held in Berlin, Germany, 8-10 October 1996},
  pages        = {209--222},
  publisher    = {{CSLI} Publications},
  year         = {1996},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Shehtman96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics