Items where Author is "de Rijke, Maarten"

Report

PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]

PP-2002-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (2002) Resolution in Modal, Description and Hybrid Logic. [Report]

PP-1999-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Report]

PP-1999-14: Monz, Christof and de Rijke, Maarten (1999) A Tableau Calculus for Pronoun Resolution. [Report]

CT-1998-05: Areces, Carlos and de Rijke, Maarten (1998) Expressiveness Revisited. [Report]

LP-1998-11: Monz, Christof and de Rijke, Maarten (1998) A Resolution Calculus for Dynamic Semantics. [Report]

LP-1998-10: Monz, Christof and de Rijke, Maarten (1998) A Tableaux Calculus for Ambiguous Quantification. [Report]

ML-1993-16: de Rijke, Maarten (1993) Correspondence Theory for Extended Modal Logics. [Report]

X-1993-02: de Rijke, Maarten (1993) What is Modal Logic? [Report]

LP-1992-10: de Rijke, Maarten (1992) Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation). [Report]

LP-1992-08: de Rijke, Maarten (1992) A System of Dynamic Modal Logic. [Report]

LP-1991-01: der Hoek, Wiebe van and de Rijke, Maarten (1991) Generalized Quantifiers and Modal Logic. [Report]

ML-1991-10: de Rijke, Maarten and Venema, Yde (1991) Sahlqvist's Theorem for Boolean Algebras with Operators. [Report]

X-1990-12: de Rijke, Maarten (1990) Bi-Unary Interpretability Logic. [Report]

LP-1990-15: de Rijke, Maarten (1990) The Modal Logic of Inequality. [Report]

ML-1990-07: de Rijke, Maarten (1990) A Note on the Interpretability Logic of Finitely Axiomatized Theories. [Report]

X-1990-02: de Rijke, Maarten (1990) Some Chapters on Interpretability Logic. [Report]

ML-1990-04: de Rijke, Maarten (1990) Unary Interpretability Logic. [Report]

X-1989-05: de Rijke, Maarten (1989) The Modal Theory of Inequality. [Report]

Thesis

DS-1993-04: de Rijke, Maarten (1993) Extending Modal Logic. Doctoral thesis, University of Amsterdam.