A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.

Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco

Browse the full TABLEAUX paper archive.