Topic: Proof Theory and Foundations
of Non-Classical Logics
Current participants:
Philippe Besnard,
Gabriella Crocco,
Luis Farinas del Cerro,
Olivier Gasquet,
Andreas Herzig
We have collected here our activities on the foundations of
non-classical logics.
-
sequent systems for conditional logics
-
sequent systems for dependence logics
-
completeness and incompleteness results for modal logics
-
axiomatization of modal logics of uncertainty
A related research topic of ours is
automated theorem proving for modal logics.
Andreas.Herzig@irit.fr / http://www.irit.fr/~Andreas.Herzig