ML-1996-03: Hajnal Andréka, Johan van Benthem, István Németi Modal Languages and Bounded Fragments of Predicate Logic 1.Full Text, 2.Old version. < Back