BibTeX record conf/aiml/Kikot18

download as .bib file

@inproceedings{DBLP:conf/aiml/Kikot18,
  author       = {Stanislav Kikot},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices
                  with Operators},
  booktitle    = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
                  2018},
  pages        = {9},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/Kikot.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Kikot18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.