%0 Journal Article %1 journals/corr/abs-2205-03659 %A Maggesi, Marco %A Brogi, Cosimo Perini %D 2022 %J CoRR %K dblp %T A theorem prover and countermodel constructor for provability logic in HOL Light. %U http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-03659 %V abs/2205.03659

@article{journals/corr/abs-2205-03659, added-at = {2022-05-11T00:00:00.000+0200}, author = {Maggesi, Marco and Brogi, Cosimo Perini}, biburl = {https://www.bibsonomy.org/bibtex/2cbabb6e1404e86c4be010fee7b8d68e5/dblp}, ee = {https://doi.org/10.48550/arXiv.2205.03659}, interhash = {bef1900e15153a4990def7272d9ee56f}, intrahash = {cbabb6e1404e86c4be010fee7b8d68e5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:30:41.000+0200}, title = {A theorem prover and countermodel constructor for provability logic in HOL Light.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-03659}, volume = {abs/2205.03659}, year = 2022 }