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

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

Guest editors' preface to special issue on interval temporal logics ⋮ On coarser interval temporal logics

Uses Software

• LoTREC

This page was built for publication: A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation