Metric propositional neighborhood logic with an equivalence relation
DOI10.1007/S00236-016-0256-3zbMATH Open1350.68185OpenAlexW2038872532MaRDI QIDQ329414FDOQ329414
Authors: Angelo Montanari, Marco Pazzaglia, Pietro Sala 
Publication date: 21 October 2016
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11390/1110493
Recommendations
- Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
- scientific article; zbMATH DE number 6602207
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
- An optimal decision procedure for MPNL over the integers
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Parallel program schemata
- Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
- Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- LTL with the freeze quantifier and register automata
- On the decidability and complexity of Metric Temporal Logic over finite words
- Two variable first-order logic over ordered domains
- Two-variable logic on data words
- A Modal Logic for Chopping Intervals
- On the Decision Problem for Two-Variable First-Order Logic
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
- An optimal decision procedure for right propositional neighborhood logic
- On the reachability problem for 5-dimensional vector addition systems
- On languages with two variables
- Two-Variable First-Order Logic with Equivalence Closure
- Small substructures and decidability issues for first-order logic with two variables
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
- A general tableau method for propositional interval temporal logics
- Weak MSO with the unbounding quantifier
Cited In (5)
- The importance of the past in interval temporal logics: the case of propositional neighborhood logic
- Hybrid metric propositional neighborhood logics with interval length binders
- Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
- A Note on C² Interpreted over Finite Data-Words
- Bounded variability of metric temporal logic
This page was built for publication: Metric propositional neighborhood logic with an equivalence relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329414)
