tuCLEVER

swMATH41947MaRDI QIDQ5972893FDOQ5972893

Author name not available (Why is that?)

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