Items where Author is "Gehrke, Mai"

PP-2010-18: Gehrke, Mai and Vosmaer, Jacob (2010) A View of Canonical Extension. [Report]

PP-2004-05: Gehrke, Mai and Harding, John and Venema, Yde (2004) MacNeille completions and canonical extensions. [Report]

PP-2002-09: Gehrke, Mai and Nagahashi, Hideo and Venema, Yde (2002) A Sahlqvist Theorem for Distributive Modal Logic. [Report]

PP-2002-07: van Benthem, Johan and Bezhanishvili, Guram and Gehrke, Mai (2002) Euclidean Hierarchy in Modal Logic. [Report]

PP-2002-06: Bezhanishvili, Guram and Gehrke, Mai (2002) A New Proof of Completeness of S4 with respect to the Real Line. [Report]