Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.

Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Browse the full TABLEAUX paper archive.