%0 Conference Paper %1 conf/aiml/KuruczM12 %A Kurucz, Agi %A Marcelino, Sérgio %B Advances in Modal Logic %D 2012 %E Bolander, Thomas %E Braüner, Torben %E Ghilardi, Silvio %E Moss, Lawrence S. %I College Publications %K dblp %P 411-436 %T Finite Frames for K4.3 x S5 Are Decidable. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#KuruczM12 %@ 978-1-84890-068-4

@inproceedings{conf/aiml/KuruczM12, added-at = {2020-03-12T00:00:00.000+0100}, author = {Kurucz, Agi and Marcelino, Sérgio}, biburl = {https://www.bibsonomy.org/bibtex/2f1fd91a93acbfb775cca301ac973c987/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2012}, editor = {Bolander, Thomas and Braüner, Torben and Ghilardi, Silvio and Moss, Lawrence S.}, ee = {http://www.aiml.net/volumes/volume9/Kurucz-Marcelino.pdf}, interhash = {a375acb3d706e68276337a3f675494c9}, intrahash = {f1fd91a93acbfb775cca301ac973c987}, isbn = {978-1-84890-068-4}, keywords = {dblp}, pages = {411-436}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Finite Frames for K4.3 x S5 Are Decidable.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#KuruczM12}, year = 2012 }