MPI-I-96-2-005:
Auxilary Modal Operators and the Characterization of Modal Frames,
Andreas Nonnengart
MPI-I-95-2-007:
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory,
Andreas Nonnengart and Andrzej Szalas
MPII-92-236:
MOTEL User Manual,
Hustadt, U. and Nonnengart, A. and Schmidt, R. and Timm, J.
MPII-92-228:
First-Order Modal Logic Theorem Proving and Standard PROLOG,
Andreas Nonnengart
Home page of the Max Planck Institute