1 paper
Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely prefere…