The following pages link to Ian Hodkinson (Q912841):
Displaying 50 items.
- (Q232539) (redirect page) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- On Gabbay's temporal fixed point operator (Q673958) (← links)
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- Relation algebras by games (Q700879) (← links)
- Omega-categoricity, relative categoricity and coordinatisation (Q912842) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Loosely guarded fragment of first-order logic has the finite model property (Q1604793) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Axiomatizing complex algebras by games. (Q1771885) (← links)
- Monodic packed fragment with equality is decidable (Q1863828) (← links)
- Axiomatizability of reducts of algebras of relations (Q1866804) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Relation algebras with \(n\)-dimensional relational bases (Q1964020) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Hybrid formulas and elementarily generated modal logics (Q2372681) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- (Q2853709) (← links)
- Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. (Q2996150) (← links)
- (Q3012526) (← links)
- Axiomatising Various Classes of Relation and Cylindric Algebras (Q3126404) (← links)
- (Q3142555) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- Connections between Relation Algebras and Cylindric Algebras (Q3460614) (← links)
- (Q3509079) (← links)
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
- A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER (Q3577744) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)
- Commutativity of Quantifiers in Varying-Domain Kripke Models (Q3600561) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
- (Q3629226) (← links)
- (Q3693518) (← links)
- Relational structures determined by their finite induced substructures (Q3791127) (← links)
- (Q3835817) (← links)
- Automorphisms of Bounded Abelian Groups (Q3992033) (← links)
- (Q4218015) (← links)
- Finite algebras of relations are representable on finite sets (Q4254632) (← links)
- (Q4281254) (← links)
- The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph (Q4286374) (← links)
