A Diabolical Puzzle by Raymond Smullyan
Photo showing from left to right: Jørgen, Erich, Torben, Andur, Finn, Thomas, Klaus
Thursday 2010-02-11 13:00-15:00 RUC
2009-01-14 2008-11-26 2008-10-22 2008-05-20
2008-04-01 2008-03-04 2008-01-31 2007-12-13 2007-11-14 2007-10-10 2007-09-12 2007-06-27 2007-05-23 2007-05-02
2007-03-28 2006-06-16 2006-04-25 2006-04-04 2006-03-21 2006-02-28 2005-12-19 2005-10-25 2005-10-04 2005-08-23
2005-05-17 2005-04-26 2005-04-19 2005-03-22 2005-03-15 2005-02-22 2005-01-24 2005-01-11 2004-11-30 2004-11-09
2004-10-26 2004-10-05 2004-08-26 2004-08-05 2004-07-06 2004-06-29 2004-06-14 2004-04-27 2004-04-13 2004-03-30
2004-03-09 2004-03-02 2004-02-17 2004-01-20 2004-01-06 2003-12-09 2003-12-02 2003-11-11 2003-10-28 2003-10-07
Handbook of Modal Logic
Editors: J. van Benthem, P. Blackburn, F. Wolter
Elsevier 2007
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore
Lecture Notes in Logic 23 - Association for Symbolic Logic, A K Peters 2005
First-Order Modal Logic
Melvin Fitting
&
Richard L. Mendelsohn
Synthese Libray 277, Kluwer Academic Publishers 1998
Types, Tableaus, and Gödel's God
Melvin Fitting
Trends in Logic 13, Kluwer Academic Publishers 2002
Gerhard Lakemeyer (1992): On Perfect Introspection with Quantifying-in Fundamenta Informaticae 17(1-2): 75-98
logic.ruc.dk was last syntactically and semantically validated 2010-01-20