Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
Saved in:
| Title: | Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. |
|---|---|
| Authors: | Girlando, Marianna1, Lellmann, Björn2, Olivetti, Nicola3, Pesce, Stefano4, Pozzato, Gian Luca4, gianluca.pozzato@unito.it |
| Source: | Journal of Logic & Computation; Mar2022, Vol. 32 Issue 2, p233-280, 48p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
