The following publications are possibly variants of this publication:
- PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal LogicsTiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato. aiia 2019: 165-179 [doi]
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoningMarianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato. logcom, 32(2):233-280, 2022. [doi]
- Theorem Proving for Non-normal Modal LogicsTiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato. overlay 2020: 17-22 [doi]