Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. UCS, 18(20):2798-2831, 2012. [doi]

Abstract

Abstract is missing.