2 Hits in 3.1 sec

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) [chapter]

Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
2020 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

Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence

Mario Alviano, Gianluigi Greco, Francesco Scarcello
2020 Intelligenza Artificiale  
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