Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | 0 | 0.34 | 2020 |
| Verified Verifiers for Verifying Elections | 1 | 0.36 | 2019 |
| A Correct Polynomial Translation of S4 into intuitionistic Logic. | 0 | 0.34 | 2019 |
| An Experimental Comparison of Theorem Provers for CTL | 10 | 0.65 | 2011 |
| Substructural Logics on Display | 45 | 2.38 | 1998 |