An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

From MaRDI portal
Publication:3590963

DOI10.1007/978-3-540-70918-3_47zbMath1141.03308OpenAlexW32421893MaRDI QIDQ3590963

Davide Bresolin, Pietro Sala, Angelo Montanari

Publication date: 3 September 2007

Published in: STACS 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_47




Related Items (11)




This page was built for publication: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic