Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Metric propositional neighborhood logics on natural numbers. Software and Systems Modeling, 12(2):245-264, 2013. [doi]

Authors

Davide Bresolin

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

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