scientific article; zbMATH DE number 6602207

MaRDI QIDQ3177929zbMATH OpenFDO

Authors Dario Della Monica, Angelo Montanari, Guido Sciavicco, Valentin Goranko

Publication date 8 July 2016

Full work available at URL http://www.jucs.org/jucs_18_20/crossing_the_undecidability_border

zbMATH Keywords

first-order logicundecidabilityhybrid logicsinterval length bindersinterval neighborhood logics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Undecidability of propositional separation logic and its neighbours
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Undecidable properties of extensions of provability logic. II
• Undecidable properties of extensions of the logic of provability
• Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
• Computer Science Logic
• Provability logics for natural Turing progressions of arithmetical theories
• Decidability and undecidability results on the modal \(\mu \)-calculus with a natural number-valued semantics
• Neighborhood Semantics for Basic and Intuitionistic Logic

Cited in

(4)

• Hybrid metric propositional neighborhood logics with interval length binders
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Metric propositional neighborhood logic with an equivalence relation
• Metric propositional neighborhood logics: expressiveness, decidability, and undecidability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177929)