Valentin Goranko
Rand Afrikaans University, South Africa
D. Della Monica, V. Goranko, A. Montanari, G. Sciavicco: Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers /jucs_18_20/crossing_the_undecidability_border