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]

Authors

Dario Della Monica

This author has not been identified. It may be one of the following persons: Look up 'Dario Della Monica' in Google

Valentin Goranko

This author has not been identified. Look up 'Valentin Goranko' in Google

Angelo Montanari

This author has not been identified. Look up 'Angelo Montanari' in Google

Guido Sciavicco

This author has not been identified. Look up 'Guido Sciavicco' in Google