Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers (0)

by D Della Monica, V Goranko, A Montanari, G Sciavicco
Venue:Journal of Universal Computer Science