A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-based theorem prover and countermodel generator for non-normal modal logics. ... Preliminary experimental results show that the performances of HYPNO are very promising with respect to other theorem provers for the same class of logics. ... We thank the reviewers for their careful reading that helped us to improve this paper. ...doi:10.1007/978-3-030-51054-1_23 fatcat:zjpi3jirwbau3mnhwqidp7p2qa
for the Italian and international research in the sector. ... AIxIA is a member of the European Association for Artificial Intelligence (EurAI), and has witnessed and supported the entire evolution of AI: from the initial works and expectations in the 80s, passing ... − Proof-search and countermodel generation for non-normal modal logics: the theorem prover PRONOM, by Tiziano Dalmonte, Sara Negri, Nicola Olivetti and Gian Luca Pozzato, pre- senting a theorem prover ...doi:10.3233/ia-200072 dblp:journals/ia/AlvianoGS20 fatcat:wn7arg47brh7fb2ri52xxl2liy