PP-2000-13: Maarten Marx, Szabolcs Mikulás Products, or How to Create Modal Logics of High Complexity 1.Full Text, 2.Abstract. < Back
