Paper Info
Title
Theorem Proving for Non-normal Modal Logics.
Year
Venue
DocType
2020
OVERLAY
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Tiziano Dalmonte102.03
Sara Negri228024.76
Nicola Olivetti361654.51
Gian Luca Pozzato439436.96