Publication:3177929
From MaRDI portal
zbMath1362.03018MaRDI QIDQ3177929
Guido Sciavicco, Dario Della Monica, Angelo Montanari, Valentin F. Goranko
Publication date: 8 July 2016
Full work available at URL: http://www.jucs.org/jucs_18_20/crossing_the_undecidability_border
undecidability; first-order logic; hybrid logics; interval length binders; interval neighborhood logics