Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
From MaRDI portal
Publication:5862470
DOI10.1093/logcom/exab084OpenAlexW4205476164WikidataQ113818624 ScholiaQ113818624MaRDI QIDQ5862470
Nicola Olivetti, Stefano Pesce, Marianna Girlando, Björn Lellmann, Gian Luca Pozzato
Publication date: 9 March 2022
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exab084
Related Items (2)
Uses Software
This page was built for publication: Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning