%0 Conference Paper %1 journals/corr/abs-1210-2481 %A Michaliszyn, Jakub %A Otop, Jan %A Witkowski, Piotr %B GandALF %D 2012 %E Faella, Marco %E Murano, Aniello %K dblp %P 141-154 %T Satisfiability vs. Finite Satisfiability in Elementary Modal Logics %U http://dblp.uni-trier.de/db/series/eptcs/eptcs96.html#abs-1210-2481 %V 96

@inproceedings{journals/corr/abs-1210-2481, added-at = {2019-09-16T00:00:00.000+0200}, author = {Michaliszyn, Jakub and Otop, Jan and Witkowski, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/21da88bc743584db5e58c62d36f0686aa/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-1210-2028}, editor = {Faella, Marco and Murano, Aniello}, ee = {http://arxiv.org/abs/1210.2481}, interhash = {598b06aa0be8f6c81c721d060d7ad214}, intrahash = {1da88bc743584db5e58c62d36f0686aa}, keywords = {dblp}, pages = {141-154}, series = {EPTCS}, timestamp = {2019-09-17T13:27:39.000+0200}, title = {Satisfiability vs. Finite Satisfiability in Elementary Modal Logics}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs96.html#abs-1210-2481}, volume = 96, year = 2012 }