Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
From MaRDI portal
Publication:2999204
DOI10.3233/978-1-60750-606-5-695zbMath1211.68397MaRDI QIDQ2999204
Davide Bresolin, Guido Sciavicco, Dario Della Monica, Angelo Montanari, Valentin F. Goranko
Publication date: 11 May 2011
Full work available at URL: https://www2.philosophy.su.se/goranko/papers/ECAI2010-Metric%20Propositional%20Neighborhood%20Logics-%20Expressiveness,%20Decidability,%20and%20Undecidability.pdf
68T27: Logic in artificial intelligence
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
Separation logics and modalities: a survey, Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction, A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, Metric propositional neighborhood logic with an equivalence relation, Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers, The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT, Bounded variability of metric temporal logic, A survey on temporal logics for specifying and verifying real-time systems