Items where Author is "Hodkinson, Ian"

[up] Up a level
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 Sun Dec 22 00:30:33 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility