Old Web
English
Sign In
Acemap
>
Paper
>
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
2022
Marianna Girlando
Björn Lellmann
Nicola Olivetti
Stefano Pesce
Gian Luca Pozzato
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]