Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.

Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas

Browse the full KR paper archive.