The undecidability of FO3 and the calculus of relations with just one binary relation

DOI10.1007/978-3-662-58771-3_11OpenAlexW2911544256MaRDI QIDQ2284182

Yoshiki Nakamura

Publication date: 14 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-58771-3_11

zbMATH Keywords

undecidabilityfirst-order logicthe calculus of relations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Related Items (2)

Expressive power and succinctness of the positive calculus of binary relations ⋮ Expressive Power and Succinctness of the Positive Calculus of Relations

This page was built for publication: The undecidability of FO3 and the calculus of relations with just one binary relation