One-dimensional Fragment of First-order Logic

Lauri Hella, Antti Kuusisto. One-dimensional Fragment of First-order Logic. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 274-293, College Publications, 2014. [doi]

Abstract

Abstract is missing.