Tableau Systems for Logics of Subinterval Structures over Dense Orderings.

Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala

Browse the full TABLEAUX paper archive.