A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.

Davide Bresolin, Angelo Montanari

Browse the full TABLEAUX paper archive.