Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato. Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale, 14(2):215-229, 2020. [doi]
@article{DalmonteNOP20-0,
title = {Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM},
author = {Tiziano Dalmonte and Sara Negri and Nicola Olivetti and Gian Luca Pozzato},
year = {2020},
doi = {10.3233/IA-200052},
url = {https://doi.org/10.3233/IA-200052},
researchr = {https://researchr.org/publication/DalmonteNOP20-0},
cites = {0},
citedby = {0},
journal = {Intelligenza Artificiale},
volume = {14},
number = {2},
pages = {215-229},
}