Discover open access scientific publications

Search, annotate, share and cite publications

Publications by V. B. Shehtman

Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables

Journal of Symbolic Logic

English