%0 Journal Article %1 journals/corr/abs-1810-10257 %A Libal, Tomer %A Volpe, Marco %D 2018 %J CoRR %K dblp %T A general proof certification framework for modal logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-10257 %V abs/1810.10257

@article{journals/corr/abs-1810-10257, added-at = {2018-10-31T00:00:00.000+0100}, author = {Libal, Tomer and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/291a7fc7feb7fc38925b4482070ee91fe/dblp}, ee = {http://arxiv.org/abs/1810.10257}, interhash = {2779e0d2125772cd68a3d4476d737aca}, intrahash = {91a7fc7feb7fc38925b4482070ee91fe}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-11-01T11:37:18.000+0100}, title = {A general proof certification framework for modal logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-10257}, volume = {abs/1810.10257}, year = 2018 }