Refined Tableau Systems for Some Modal Logics of Confluence.

Kiana Samadpour Motalebi, Renate A. Schmidt, Cludia Nalon

Browse the full TABLEAUX paper archive.