Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.

Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Browse the full SEFM paper archive.