scientific article; zbMATH DE number 6602207

zbMATH Open1362.03018MaRDI QIDQ3177929FDOQ3177929

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

Publication date: 8 July 2016

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

Title of this publication is not available (Why is that?)

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 👍 👎

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)