Metric Propositional Neighborhood Logic with an Equivalence Relation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Angelo Montanari, Marco Pazzaglia, Pietro Sala. Metric Propositional Neighborhood Logic with an Equivalence Relation. In Amedeo Cesta, Carlo Combi, François Laroussinie, editors, 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. pages 49-58, IEEE, 2014. [doi]

The following publications are possibly variants of this publication:

Metric propositional neighborhood logic with an equivalence relationAngelo Montanari, Marco Pazzaglia, Pietro Sala. ACTA, 53(6-8):621-648, 2016. [doi]

Metric Right Propositional Neighborhood Logic with an Equivalence RelationPietro Sala. ictcs 2018: 140-151 [doi]

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ecai 2010: 695-700 [doi]

Propositional Interval Neighborhood Temporal LogicsValentin Goranko, Angelo Montanari, Guido Sciavicco. jucs, 9(9):1137-1167, 2003. [doi]

An Optimal Decision Procedure for Right Propositional Neighborhood LogicDavide Bresolin, Angelo Montanari, Guido Sciavicco. JAR, 38(1-3):173-199, 2007. [doi]

On Decidability and Expressiveness of Propositional Interval Neighborhood LogicsDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. lfcs 2007: 84-99 [doi]

Metric propositional neighborhood logics on natural numbersDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SoSyM, 12(2):245-264, 2013. [doi]

runs on WebDSL