%0 Conference Paper %1 conf/aiml/JorgensenBBB16 %A Jørgensen, Klaus Frovin %A Blackburn, Patrick %A Bolander, Thomas %A Braüner, Torben %B Advances in Modal Logic %D 2016 %E Beklemishev, Lev D. %E Demri, Stéphane %E Maté, András %I College Publications %K dblp %P 302-321 %T Synthetic completeness proofs for Seligman-style tableau systems. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#JorgensenBBB16 %@ 978-1-84890-201-5

@inproceedings{conf/aiml/JorgensenBBB16, added-at = {2020-03-12T00:00:00.000+0100}, author = {Jørgensen, Klaus Frovin and Blackburn, Patrick and Bolander, Thomas and Braüner, Torben}, biburl = {https://www.bibsonomy.org/bibtex/21af0bb11e50e57237c740ebf05f4a663/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2016}, editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András}, ee = {http://www.aiml.net/volumes/volume11/Joergensen-Blackburn-Bolander-Brauner.pdf}, interhash = {f5eda8d13a6b7ee23059a49c218c58c4}, intrahash = {1af0bb11e50e57237c740ebf05f4a663}, isbn = {978-1-84890-201-5}, keywords = {dblp}, pages = {302-321}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Synthetic completeness proofs for Seligman-style tableau systems.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#JorgensenBBB16}, year = 2016 }