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

From MaRDI portal
Publication:2851934