Egrot, Rob; Hirsch, Robin Seurat games on Stockmeyer graphs. (English) Zbl 1522.05303 J. Graph Theory 99, No. 2, 278-311 (2022). MSC: 05C57 91A43 05C60 05C20 PDFBibTeX XMLCite \textit{R. Egrot} and \textit{R. Hirsch}, J. Graph Theory 99, No. 2, 278--311 (2022; Zbl 1522.05303) Full Text: DOI arXiv
Egrot, Rob; Hirsch, Robin First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. (English) Zbl 1518.03016 J. Symb. Log. 87, No. 3, 1283-1300 (2022). Reviewer: Roger Maddux (Ames) MSC: 03G15 05C90 PDFBibTeX XMLCite \textit{R. Egrot} and \textit{R. Hirsch}, J. Symb. Log. 87, No. 3, 1283--1300 (2022; Zbl 1518.03016) Full Text: DOI arXiv
Hirsch, Robin; Hodkinson, Ian; Jackson, Marcel Undecidability of algebras of binary relations. (English) Zbl 07442316 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 267-287 (2021). MSC: 03-XX 08-XX PDFBibTeX XMLCite \textit{R. Hirsch} et al., Outst. Contrib. Log. 19, 267--287 (2021; Zbl 07442316) Full Text: DOI
Hirsch, Robin; Jackson, Marcel; Kowalski, Tomasz Algebraic foundations for qualitative calculi and networks. (English) Zbl 1417.68160 Theor. Comput. Sci. 768, 99-116 (2019). MSC: 68R10 03B70 03G15 68Q17 68Q25 PDFBibTeX XMLCite \textit{R. Hirsch} et al., Theor. Comput. Sci. 768, 99--116 (2019; Zbl 1417.68160) Full Text: DOI arXiv
Hirsch, Robin; Sayed Ahmed, Tarek The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions. (English) Zbl 1328.03057 J. Symb. Log. 79, No. 1, 208-222 (2014). Reviewer: Roger Maddux (Ames) MSC: 03G15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{T. Sayed Ahmed}, J. Symb. Log. 79, No. 1, 208--222 (2014; Zbl 1328.03057) Full Text: DOI Link
Hirsch, Robin; Jackson, Marcel Undecidability of representability as binary relations. (English) Zbl 1279.03084 J. Symb. Log. 77, No. 4, 1211-1244 (2012). Reviewer: Roger Maddux (Ames) MSC: 03G15 03B25 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{M. Jackson}, J. Symb. Log. 77, No. 4, 1211--1244 (2012; Zbl 1279.03084) Full Text: DOI Euclid
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. Weak representations of relation algebras and relational bases. (English) Zbl 1260.03112 J. Symb. Log. 76, No. 3, 870-882 (2011). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 PDFBibTeX XMLCite \textit{R. Hirsch} et al., J. Symb. Log. 76, No. 3, 870--882 (2011; Zbl 1260.03112) Full Text: DOI
Hirsch, Robin; Mikulás, Szabolcs Positive fragments of relevance logic and algebras of binary relations. (English) Zbl 1231.03020 Rev. Symb. Log. 4, No. 1, 81-105 (2011). MSC: 03B47 03G15 08B05 08C15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{S. Mikulás}, Rev. Symb. Log. 4, No. 1, 81--105 (2011; Zbl 1231.03020) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Strongly representable atom structures of cylindric algebras. (English) Zbl 1207.03073 J. Symb. Log. 74, No. 3, 811-828 (2009). Reviewer: Roger Maddux (Ames) MSC: 03G15 03C20 05C15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, J. Symb. Log. 74, No. 3, 811--828 (2009; Zbl 1207.03073) Full Text: DOI Link
Hirsch, Robin Relation algebra reducts of cylindric algebras and complete representations. (English) Zbl 1128.03053 J. Symb. Log. 72, No. 2, 673-703 (2007); corrigendum ibid. 78, No. 4, 1345-1346 (2013). MSC: 03G15 PDFBibTeX XMLCite \textit{R. Hirsch}, J. Symb. Log. 72, No. 2, 673--703 (2007; Zbl 1128.03053) Full Text: DOI
Cristani, M.; Hirsch, R. The complexity of constraint satisfaction problems for small relation algebras. (English) Zbl 1085.68152 Artif. Intell. 156, No. 2, 177-196 (2004). MSC: 68T20 03G15 68Q25 68Q17 PDFBibTeX XMLCite \textit{M. Cristani} and \textit{R. Hirsch}, Artif. Intell. 156, No. 2, 177--196 (2004; Zbl 1085.68152) Full Text: DOI
Hirsch, R.; Hodkinson, I.; Kurucz, A. On modal logics between \(\mathbf K\times\mathbf K\times\mathbf K\) and \(\mathbf S5\times\mathbf S5\times\mathbf S5\). (English) Zbl 1002.03019 J. Symb. Log. 67, No. 1, 221-234 (2002). MSC: 03B45 03G25 03G15 03B25 PDFBibTeX XMLCite \textit{R. Hirsch} et al., J. Symb. Log. 67, No. 1, 221--234 (2002; Zbl 1002.03019) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. Relation algebra reducts of cylindric algebras and an application to proof theory. (English) Zbl 1005.03052 J. Symb. Log. 67, No. 1, 197-213 (2002). Reviewer: Yuri Movsisyan (Yerevan) MSC: 03G15 03B10 03F03 PDFBibTeX XMLCite \textit{R. Hirsch} et al., J. Symb. Log. 67, No. 1, 197--213 (2002; Zbl 1005.03052) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Strongly representable atom structures of relation algebras. (English) Zbl 1002.03054 Proc. Am. Math. Soc. 130, No. 6, 1819-1831 (2002). Reviewer: Roger Maddux (Ames) MSC: 03G15 05C80 03C05 05C15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Proc. Am. Math. Soc. 130, No. 6, 1819--1831 (2002; Zbl 1002.03054) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Relation algebras from cylindric algebras. II. (English) Zbl 1001.03058 Ann. Pure Appl. Logic 112, No. 2-3, 267-297 (2001). Reviewer: Roger Maddux (Ames) MSC: 03G15 03C05 03C25 03F20 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Ann. Pure Appl. Logic 112, No. 2--3, 267--297 (2001; Zbl 1001.03058) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Relation algebras from cylindric algebras. I. (English) Zbl 1001.03057 Ann. Pure Appl. Logic 112, No. 2-3, 225-266 (2001). Reviewer: Roger Maddux (Ames) MSC: 03G15 03C05 08A35 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Ann. Pure Appl. Logic 112, No. 2--3, 225--266 (2001; Zbl 1001.03057) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Representability is not decidable for finite relation algebras. (English) Zbl 0965.03079 Trans. Am. Math. Soc. 353, No. 4, 1403-1425 (2001). Reviewer: Manuel Abad (Bahia Blanca) MSC: 03G15 03D35 91A05 52C20 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Trans. Am. Math. Soc. 353, No. 4, 1403--1425 (2001; Zbl 0965.03079) Full Text: DOI
Hirsch, R. Tractable approximations for temporal constraint handling. (English) Zbl 0939.68832 Artif. Intell. 116, No. 1-2, 287-295 (2000). MSC: 68T27 68W05 PDFBibTeX XMLCite \textit{R. Hirsch}, Artif. Intell. 116, No. 1--2, 287--295 (2000; Zbl 0939.68832) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Complete representations in algebraic logic. (English) Zbl 0893.03025 J. Symb. Log. 62, No. 3, 816-847 (1997). Reviewer: M.Abad (Bahia Blanca) MSC: 03G05 03G15 91A80 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, J. Symb. Log. 62, No. 3, 816--847 (1997; Zbl 0893.03025) Full Text: DOI
Hirsch, Robin; Hodkinson, Ian Step by step – Building representations in algebraic logic. (English) Zbl 0879.03018 J. Symb. Log. 62, No. 1, 225-279 (1997). Reviewer: L.Esakia (Tbilisi) MSC: 03G15 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, J. Symb. Log. 62, No. 1, 225--279 (1997; Zbl 0879.03018) Full Text: DOI
Hirsch, Robin Relation algebras of intervals. (English) Zbl 1506.68148 Artif. Intell. 83, No. 2, 267-295 (1996). MSC: 68T30 03G15 PDFBibTeX XMLCite \textit{R. Hirsch}, Artif. Intell. 83, No. 2, 267--295 (1996; Zbl 1506.68148) Full Text: DOI