Papers
-
Extending ILM with an operator for &Sigma1-ness.
E. Goris
Masters Thesis (University of Amsterdam) and Technical Report
PP-2003-17
(ILLC Prepublications)
2003
PDF
-
Modal Matters in Interpretability Logics.
J.J. Joosten and E. Goris
Technical Report
LGPS-226
(University of Utrecht,
Logic Group Preprint Series)
2004
PDF
-
Full Labels.
M. Bilkova, J.J. Joosten and E. Goris
in Anne Troelstra, editor, Liber Amicorum ter
gelegenheid van het afscheid van Dick de Jongh
2004
PDF
-
PDL for Ordered Trees.
L. Afanasiev, P. Blackburn, I. Dimitriou, B. Gaiffe, E. Goris, M. Marx, and M. de Rijke
Journal of Applied Non-Classical Logic
2005
PDF
-
Looping Caterpillars.
M. Marx and E. Goris
Submitted LICS05
2005
PDF