Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
Article in Journal of Logic and Computation (July 2024)
The most recent citing publications are shown below. View all 173 publications that cite this research output on Dimensions.
Article in Journal of Logic and Computation (July 2024)
Article in Erkenntnis (April 2024)
Article in Pacific Philosophical Quarterly (February 2024)