BibTeX record conf/aiml/Goranko20

download as .bib file

@inproceedings{DBLP:conf/aiml/Goranko20,
  author       = {Valentin Goranko},
  editor       = {Nicola Olivetti and
                  Rineke Verbrugge and
                  Sara Negri and
                  Gabriel Sandu},
  title        = {The Modal Logic of Almost Sure Frame Validities in the Finite},
  booktitle    = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
                  August 24-28, 2020},
  pages        = {249--268},
  publisher    = {College Publications},
  year         = {2020},
  url          = {http://www.aiml.net/volumes/volume13/Goranko.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Goranko20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics