#Ways to use the modal logic playground software

Frank Wolter Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. Yde Venema Institute for Logic, Language and Computation, University of Amsterdam, Plantage MuidergraTV Amsterdam, The Netherlands. Frank Veltman Institute for Logic, Language and Computation, University of Amsterdam, Nieuwe DoelenstrCP Amsterdam, The Netherlands. Vardi Department of Computer Science, Rice University, 6100 S. Hans-J¨ org Tiede Illinois Wesleyan University, Department of Mathematics and Computer Science, PO Box 2900, Bloomington, IL, 61702-2900, USA. Ĭolin Stirling Computer Science, King’s Buildings, Mayﬁeld Road, Edinburgh EH9 3JZ, UK. ﬁlosoﬁ.uu.se Renate Schmidt School of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK. Krister Segerberg Filosoﬁska institutionen, Uppsala Universitet, Box 627, 751 26 Uppsala, Sweden. Ulrike Sattler School of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK.

Mark Reynolds School of Computer Science & Software Engineering, Faculty of Engineering, Computing and Mathematics, The University of Western Australia, M002, 35 Stirling Highway, Crawley, WA 6009, Australia. Marc Pauly Department of Philosophy, Stanford University, Stanford, CA 94305-2155, USA. Martin Otto Mathematics Department, Technische Universit¨ at Darmstadt, Schlossgartenstr. Reinhard Muskens Faculty of Philosophy, Tilburg University, PO Box 90153, NL 5000 LE Tilburg, The Netherlands. Moss Department of Mathematics, Indiana University, Bloomington, IN 47405-7106, USA. John-Jules Meyer Institute of Information and Computer Science, Utrecht University, P.O.Box 80.089, 3508 TB Utrecht, The Netherlands. Maarten Marx ISLA, Informatics Institute, Universiteit van Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands. Carsten Lutz TU Dresden, Department of Computer Science, Institute for Theoretical Computer Science, 01062 Dresden, Germany. Sten Lindstr¨ om Ume˚ a universitet, Institutionen f¨ or ﬁlosoﬁ och lingvistik, S 901 87 Ume˚ a, Sweden. Agi Kurucz Department of Computer Science, King’s College London, Strand, London WC2R 2LS, UK. Marcus Kracht Department of Linguistics, UCLA, 405 Hilgard Avenue, 3125 Campbell Hall, Los Angeles, CA 90095-1543, USA. Ullrich Hustadt Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. Ian Horrocks School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. Wiebe van der Hoek Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. Ian Hodkinson Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, UK. Valentin Goranko School of Mathematics, University of the Witwatersrand, Private Bag 3, WITS 2050, Johannesburg, South Africa. Silvio Ghilardi Department of Computer Science, Universit` a degli Studi di Milano, via Comelico 39, 20135 Milano, Italy.

Melvin Fitting Department of Mathematics and Computer Science, Lehman College, 250 Bedford Park Blvd. Balder ten Cate ISLA - Informatics Institute, University of Amsterdam, Kruislaan 403, 1098SJ, Amsterdam, The Netherlands. Torben Bra¨ uner Department of Computer Science, Roskilde University, PO Box 260, DK-4000 Roskilde, Denmark. Julian Bradﬁeld Computer Science, King’s Buildings, Mayﬁeld Road, Edinburgh EH9 3JZ, UK. Patrick Blackburn INRIA Lorraine, 615 rue du Jardin Botanique, 54602 Villers l`es Nancy Cedex, France. Johan van Benthem Institute for Logic, Language & Computation, (ILLC), University of Amsterdam, Plantage MuidergraTV Amsterdam, The Netherlands and Department of Philosophy, Stanford University, Stanford, CA 94305, USA. Franz Baader TU Dresden, Department of Computer Science, Institute for Theoretical Computer Science, 01062 Dresden, Germany. Sergei Artemov Computer Science, Graduate Center CUNY, 365 Fifth Avenue, New York, NY 10016, USA. Carlos Areces INRIA Lorraine, 615 rue du Jardin Botanique, 54602 Villers l`es Nancy Cedex, France.

#Ways to use the modal logic playground software