Analytic Tableau Calculi for KLM Rational Logic R.

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Browse the full JELIA paper archive.