| The logic of discrete qualitative relations G Sindoni, JG Stell 13th International Conference on Spatial Information Theory (COSIT 2017), 2017 | 8 | 2017 |
| Axiomatizing discrete spatial relations G Sindoni, K Sano, JG Stell International Conference on Relational and Algebraic Methods in Computer …, 2018 | 7 | 2018 |
| Expressing discrete spatial relations under granularity G Sindoni, K Sano, JG Stell Journal of Logical and Algebraic Methods in Programming 122, 100682, 2021 | 4 | 2021 |
| UBiSKt-Prolog: an automated theorem prover for a bi-intuitionistic modal logic with universal modalities G Sindoni, B Bennett Proceeding of Automated Reasoning Workshop, 21, 2019 | 1 | 2019 |
| Graph Granularity through Bi-intuitionistic Modal Logic G Sindoni University of Leeds, 2020 | | 2020 |
| Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover) G Sindoni, K Sano, JG Stell University of Leeds, 2018 | | 2018 |
