scientific article; zbMATH DE number 6602207

zbMATH Open1362.03018MaRDI QIDQ3177929FDOQ3177929

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

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

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

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)

Cited In (2)

• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• 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)