A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
From MaRDI portal
Publication:2851934
DOI10.1007/978-3-642-40537-2_8zbMath1401.68275OpenAlexW137373594MaRDI QIDQ2851934
Angelo Montanari, Guido Sciavicco, Dario Della Monica, Davide Bresolin
Publication date: 4 October 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_8
Related Items (2)
Guest editors' preface to special issue on interval temporal logics ⋮ On coarser interval temporal logics
Uses Software
This page was built for publication: A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation