Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.

Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Browse the full JELIA paper archive.