DMCA

Tableau Calculi for KLM Logics: extended version (2007)

by Laura Giordano , Valentina Gliozzi , Nicola Olivetti , Gian Luca Pozzato
Citations:1 - 1 self