On Sahlqvist theory for hybrid logics W Conradie, C Robinson Journal of Logic and Computation 27 (3), 867-900, 2017 | 51 | 2017 |
Non-distributive logics: from semantics to meaning W Conradie, A Palmigiano, C Robinson, N Wijnberg arXiv preprint arXiv:2002.04257, 2020 | 28 | 2020 |
Modelling socio-political competition W Conradie, A Palmigiano, C Robinson, A Tzimoulis, N Wijnberg Fuzzy Sets and Systems 407, 115-141, 2021 | 12 | 2021 |
The logic of vague categories W Conradie, A Palmigiano, C Robinson, A Tzimoulis, NM Wijnberg arXiv preprint arXiv:1908.04816, 2019 | 11 | 2019 |
Algebraic methods for hybrid logics C Robinson PQDT-Global, 2014 | 4 | 2014 |
Algebraic semantics for hybrid logics W Conradie, C Robinson Nonclassical Logics and Their Applications: Post-proceedings of the 8th …, 2020 | 2 | 2020 |
Representable distributive quasi relation algebras A Craig, C Robinson arXiv preprint arXiv:2310.11719, 2023 | 1 | 2023 |
Analogues of Bull’s theorem for hybrid logic W Conradie, C Robinson Logic Journal of the IGPL 27 (3), 281-313, 2019 | 1 | 2019 |
Filtrations for many-valued modal logic with applications W Conradie, W Morton, C Robinson Presentation at TACL, 2017 | 1 | 2017 |
On metric interval temporal languages C Robinson PQDT-Global, 2010 | 1 | 2010 |
A representation of odd Sugihara chains via weakening relations A Craig, C Robinson arXiv preprint arXiv:2310.12935, 2023 | | 2023 |
Sahlqvist Theory for Hybrid Logics (Unified Correspondence IV) W Conradie, C Robinson This volume contains the abstracts of the talks presented at TACL 2015 …, 2015 | | 2015 |
An analogue of Bull's theorem for Hybrid Logic C Robinson, W Conradie EPiC Series in Computing 25, 179-182, 2014 | | 2014 |
Category Theory, Algebra, Topology and Logic A CRAIG, C ROBINSON Welcome to the SAMS Annual Congress 2023, 12, 0 | | |