DMCA

Analytic Tableau Calculi for KLM Logics of . . . (2009)

by Laura Giordano , Valentina Gliozzi , NICOLA OLIVETTI , Gian Luca Pozzato