Università di Torino

Gian Luca Pozzato

Theorem Provers

   CondLean 3.2: a Theorem Prover for Conditional Logics

   GoalDUCK: a goal-directed theorem prover for Conditional Logics

   KLMOptimal: an optimal Theorem Prover KLM Preferential logic P

   KLMLean 2.0: a Theorem Prover for KLM Logics of Default Reasoning

   FreeP 1.0: a Free-Variables Theorem Prover for KLM Preferential Logic P

   CSLLean 1.0: a Theorem Prover for the Logic of Comparative Concept Similarity

   NESCOND: an implementation of nested sequent calculi for Conditional Logics

   Back to Gian Luca Pozzato's home page