PP-2000-09: Maarten Marx, Yde Venema Local Variations on a Loose Theme: Modal Logic and Decidability 1.Full Text, 2.Abstract. < Back
