tuCLEVER

MaRDI QIDQ5972893swMATHFDO

Official website https://hal.archives-ouvertes.fr/hal-03080670/document

Described by source

• Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning

Cited in

(5)

• CondLean
• CSLLean
• KLMLean
• NESCOND
• MOIN

This page was built for software: tuCLEVER