@inproceedings{DBLP:conf/fossacs/FervariM22,
  author       = {Raul Fervari and
                  Alessio Mansutti},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {Modal Logics and Local Quantifiers: {A} Zoo in the Elementary Hierarchy},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {305--324},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_16},
  doi          = {10.1007/978-3-030-99253-8\_16},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/FervariM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Lh7sioQkqBohzZRGG","bibbaseid":"fervari-mansutti-modallogicsandlocalquantifiersazoointheelementaryhierarchy-2022","author_short":["Fervari, R.","Mansutti, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Mansutti"],"suffixes":[]}],"editor":[{"firstnames":["Patricia"],"propositions":[],"lastnames":["Bouyer"],"suffixes":[]},{"firstnames":["Lutz"],"propositions":[],"lastnames":["Schröder"],"suffixes":[]}],"title":"Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy","booktitle":"Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings","series":"Lecture Notes in Computer Science","volume":"13242","pages":"305–324","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-030-99253-8\\_16","doi":"10.1007/978-3-030-99253-8_16","timestamp":"Fri, 29 Apr 2022 14:50:32 +0200","biburl":"https://dblp.org/rec/conf/fossacs/FervariM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fossacs/FervariM22,\n author = {Raul Fervari and\n Alessio Mansutti},\n editor = {Patricia Bouyer and\n Lutz Schr{\\\"{o}}der},\n title = {Modal Logics and Local Quantifiers: {A} Zoo in the Elementary Hierarchy},\n booktitle = {Foundations of Software Science and Computation Structures - 25th\n International Conference, {FOSSACS} 2022, Held as Part of the European\n Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,\n Munich, Germany, April 2-7, 2022, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {13242},\n pages = {305--324},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-030-99253-8\\_16},\n doi = {10.1007/978-3-030-99253-8\\_16},\n timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},\n biburl = {https://dblp.org/rec/conf/fossacs/FervariM22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fervari, R.","Mansutti, A."],"editor_short":["Bouyer, P.","Schröder, L."],"key":"DBLP:conf/fossacs/FervariM22","id":"DBLP:conf/fossacs/FervariM22","bibbaseid":"fervari-mansutti-modallogicsandlocalquantifiersazoointheelementaryhierarchy-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-99253-8\\_16"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge","MSnnygamX7qXNxsq6","KKtjZs868TWfeLxN2"],"keywords":[],"search_terms":["modal","logics","local","quantifiers","zoo","elementary","hierarchy","fervari","mansutti"],"title":"Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy","year":2022}