Crossmark

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

Crossref DOI link: https://doi.org/10.1007/978-3-030-35166-3_12

Published Online: 2019-11-12

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Dalmonte, Tiziano http://orcid.org/0000-0002-7153-0506
Negri, Sara http://orcid.org/0000-0003-3958-6312
Olivetti, Nicola http://orcid.org/0000-0001-6254-3754
Pozzato, Gian Luca http://orcid.org/0000-0002-3952-4624
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 12 November 2019

Conference Information

Conference Acronym: AI*IA

Conference Name: International Conference of the Italian Association for Artificial Intelligence

Conference City: Rende

Conference Country: Italy

Conference Year: 2019

Conference Start Date: 19 November 2019

Conference End Date: 22 November 2019

Conference Number: 18

Conference ID: aiia2019

Conference URL: https://aiia2019.mat.unical.it/