%0 Conference Paper %1 conf/context/Buvac03 %A Buvac, Sasa %B CONTEXT %D 2003 %E Blackburn, Patrick %E Ghidini, Chiara %E Turner, Roy M. %E Giunchiglia, Fausto %I Springer %K dblp %P 107-115 %T A Deduction Theorem for Normal Modal Propositional Logic. %U http://dblp.uni-trier.de/db/conf/context/context2003.html#Buvac03 %V 2680 %@ 3-540-40380-9

@inproceedings{conf/context/Buvac03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Buvac, Sasa}, biburl = {https://www.bibsonomy.org/bibtex/2099967f610be0a434c3d57f703427674/dblp}, booktitle = {CONTEXT}, crossref = {conf/context/2003}, editor = {Blackburn, Patrick and Ghidini, Chiara and Turner, Roy M. and Giunchiglia, Fausto}, ee = {https://doi.org/10.1007/3-540-44958-2_9}, interhash = {7d1dcd4528091f4aaae5c2adb95a051b}, intrahash = {099967f610be0a434c3d57f703427674}, isbn = {3-540-40380-9}, keywords = {dblp}, pages = {107-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:11:31.000+0200}, title = {A Deduction Theorem for Normal Modal Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/context/context2003.html#Buvac03}, volume = 2680, year = 2003 }