%0 Journal Article %1 journals/mscs/LibalV19 %A Libal, Tomer %A Volpe, Marco %D 2019 %J Math. Struct. Comput. Sci. %K dblp %N 8 %P 1344-1378 %T A general proof certification framework for modal logic. %U http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#LibalV19 %V 29

@article{journals/mscs/LibalV19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Libal, Tomer and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/282ef24379be98c63b12cd7ecf24bb9b3/dblp}, ee = {https://doi.org/10.1017/S0960129518000440}, interhash = {b2c948ea5c54847f3e764e1e80edb896}, intrahash = {82ef24379be98c63b12cd7ecf24bb9b3}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 8, pages = {1344-1378}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {A general proof certification framework for modal logic.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#LibalV19}, volume = 29, year = 2019 }