Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 15
Item hits:
Issue DateTitleAuthor(s)
1-Feb-2004On non-local propositional and weak monodic quantified CTLBauer, S; Hodkinson, I; Wolter, F; Zakharyaschev, M
1-Sep-2011Weak representations of relation algebras and relational basesHirsch, R; Hodkinson, I; Maddux, RD
1-Feb-1997The k-variable property is stronger than H-dimension kHodkinson, I; Simon, A
1-Jan-2002Strongly representable atom structures of relation algebrasHirsch, R; Hodkinson, I
1-Jan-2001Representability is not decidable for finite relation algebrasHirsch, R; Hodkinson, I
8-Dec-1997Atom structures of cylindric algebras and relation algebrasHodkinson, I
1-Sep-2009Strongly representable atom structures of cylindric algebrasHirsch, R; Hodkinson, I
1-Jan-2001Axiomatizing complex algebras by gamesHodkinson, I; Mikulas, S; Venema, Y
1-Jan-2005Canonical varieties with no canonical axiomatisationHodkinson, I; Venema, Y
1-Dec-2000Decidable fragments of first-order temporal logicsHodkinson, I; Wolter, F; Zakharyaschev, M