Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
From MaRDI portal
Publication:2999204
DOI10.3233/978-1-60750-606-5-695zbMath1211.68397OpenAlexW1815093549MaRDI 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
Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (max. 100)
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ Metric propositional neighborhood logic with an equivalence relation ⋮ Bounded variability of metric temporal logic ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ Separation logics and modalities: a survey ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
This page was built for publication: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability