Ph.D. Theses
Reasoning (Logic and Informationsystems)- M. Franssen, 2000,
Cocktail: a Tool for Deriving Correct programs - R. Seljee, 1997,
FICCS; A Fact Integrity Constraint Checking System for the validation of semantic integrity constraints after updating consistent deductive databases. - T. Laan, 1997,
The evolution of type theory in Logic and Mathematics - E. de Kogel, 1995,
Equational Proofs in Tableaux and Logic Programming - W. Ophelders, 1992,
Automated Theorem Proving based upon a tableau-method with unification under restrictions; theory, implementation and empirical results - F. Pieper, 1989,
Datamachines and Interfaces
Rationality (Social Choice Theory)
- R. Bosch, 2006,
Characterizations of voting rules and consensus measures - E. van der Hout, 2005,
Electing Representatives: A comparison of List PR and FPTP systems - M. van Hees, 1994, Nijmegen University,
Rights, Liberalism and Social Choice - A. van Deemen, 1991, Nijmegen University,
Coalition Formation and Social Choice; cum laude - A. Storcken, 1989,
Possibility Theorems for Social Welfare; cum laude
Knowledge (Reasoning with uncertain and incomplete knowledge)
- F. Dechesne, 2005,
Games, Set, Maths: formal investigations into logic with imperfect information - H. Jurjus, 1997,
The Exception confirms the Rule; non-monotonic logic via topology - R. Starmans, 1996,
Logic, Argument and Commonsense - R. Hendrickx, 1994,
About Mathematics and Reality (in Dutch) - A. van Haperen, 1988, Nijmegen University,
Ockham, The Development of Epistemic Logic
Global / English