Items where Author is "Hodkinson, Ian"

Group by: Item Type | No Grouping
Jump to: Report
Number of items: 5.

Report

PP-2011-21: van Benthem, Johan and Bezhanishvili, Nick and Hodkinson, Ian (2011) Sahlqvist Correspondence for Modal Mu-Calculus. [Report]

PP-2003-25: Bezhanishvili, Nick and Hodkinson, Ian (2003) All normal extensions of S5-squared are finitely axiomatizable. [Report]

PP-2003-13: Hodkinson, Ian and Venema, Yde (2003) Canonical varieties with no canonical axiomatisation. [Report]

PP-2000-01: Hodkinson, Ian and Mikulás, Szabolcs and Venema, Yde (2000) Axiomatizing Complex Algebras by Games. [Report]

ML-1997-04: Hodkinson, Ian and Mikulás, Szabolcs (1997) Non-finitely axiomatizable, union-free reducts of algebras of relations. [Report]

This list was generated on Mon Mar 4 00:30:27 2024 CET.