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]
@article{MonicaGMS12,
title = {Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers},
author = {Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
year = {2012},
doi = {10.3217/jucs-018-20-2798},
url = {http://dx.doi.org/10.3217/jucs-018-20-2798},
researchr = {https://researchr.org/publication/MonicaGMS12},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {18},
number = {20},
pages = {2798-2831},
}