%0 Conference Paper %1 conf/mfcs/MontanariPS00 %A Montanari, Angelo %A Policriti, Alberto %A Slanina, Matteo %B MFCS %D 2000 %E Nielsen, Mogens %E Rovan, Branislav %I Springer %K dblp %P 559-568 %T Derivability in Locally Quantified Modal Logics via Translation in Set Theory. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2000.html#MontanariPS00 %V 1893 %@ 3-540-67901-4

@inproceedings{conf/mfcs/MontanariPS00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Montanari, Angelo and Policriti, Alberto and Slanina, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2a1d382dc34233ab17859e5bfa6fba9ac/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2000}, editor = {Nielsen, Mogens and Rovan, Branislav}, ee = {https://doi.org/10.1007/3-540-44612-5_51}, interhash = {2a30a16a64ee22c82b65fca811a7db90}, intrahash = {a1d382dc34233ab17859e5bfa6fba9ac}, isbn = {3-540-67901-4}, keywords = {dblp}, pages = {559-568}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:12:46.000+0200}, title = {Derivability in Locally Quantified Modal Logics via Translation in Set Theory.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2000.html#MontanariPS00}, volume = 1893, year = 2000 }