Non-Iterative Modal Logics Are Coalgebraic (bibtex)
by Jonas Forster and Lutz Schröder
Reference:
Jonas Forster and Lutz Schröder: Non-Iterative Modal Logics Are Coalgebraic, In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, eds.: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020, pp. 229–248, College Publications, 2020.
Bibtex Entry:
@inproceedings{DBLP:conf/aiml/ForsterS20,
  author    = {Jonas Forster and
               Lutz Schr{\"{o}}der},
  editor    = {Nicola Olivetti and
               Rineke Verbrugge and
               Sara Negri and
               Gabriel Sandu},
  title     = {Non-Iterative Modal Logics Are Coalgebraic},
  booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
               August 24-28, 2020},
  pages     = {229--248},
  publisher = {College Publications},
  year      = {2020},
  url       = {http://www.aiml.net/volumes/volume13/Forster-Schroeder.pdf},
  timestamp = {Wed, 03 Nov 2021 11:33:04 +0100},
  biburl    = {https://dblp.org/rec/conf/aiml/ForsterS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser