Undecidability results on two-variable logics

Publisher Website

1 May 1999

journal article
Published by Springer Science and Business Media LLC in Archive for Mathematical Logic

Vol. 38 (4-5), 313-354
https://doi.org/10.1007/s001530050130

Abstract

No abstract available

Keywords

Cited by 31 articles