Logical theories for fragments of elementary geometry P Balbiani, V Goranko, R Kellerman, D Vakarelov Handbook of spatial logics, 343-428, 2007 | 21 | 2007 |
Classes and theories of trees associated with a class of linear orders V Goranko, R Kellerman Logic Journal of IGPL 19 (1), 217-232, 2011 | 7 | 2011 |
Logical theories of trees R Kellerman University of the Witwatersrand, 2010 | 5 | 2010 |
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees R Kellerman, V Goranko The Journal of Symbolic Logic 86 (3), 1035-1065, 2021 | 3 | 2021 |
Logics for geometric structures P Balbiani, V Goranko, R Kellerman, D Vakarelov M. Aiello, I. Pratt-Hartmann and J. van Benthem, Handbook of Spatial Logics …, 2006 | 2 | 2006 |
Structural theory of trees II. Completeness and completions of trees R Kellerman, A Zanardo, V Goranko Contributions to Discrete Mathematics 18 (2), 210-233, 2023 | 1 | 2023 |
Structural theory of trees. I. Branching and condensations of trees V Goranko, R Kellerman, A Zanardo arXiv preprint arXiv:2301.06344, 2023 | 1 | 2023 |
First-order theories of bounded trees R Kellerman Archive for Mathematical Logic 61 (1), 263-297, 2022 | 1 | 2022 |
First-order aspects of tree paths R Kellerman Logic Journal of the IGPL 23 (4), 688-704, 2015 | 1 | 2015 |
Structural theory of trees. II. Completeness and completions of trees V Goranko, R Kellerman, A Zanardo arXiv preprint arXiv:2301.06352, 2023 | | 2023 |
DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS R KELLERMAN | | 2014 |
First-Order Theories of Orthogonality Structures R Kellerman Logic Journal of the IGPL 15 (3), 255-270, 2007 | | 2007 |
Logical theories of orthogonality structures R Kellerman PQDT-Global, 2005 | | 2005 |
First-order theories of classes of trees associated with classes of linear orders V Goranko, R Kellerman Patrick Blackburn Klaus Frovin Jørgensen Neil Jones Erik Palmgren, 40, 0 | | |
Can Baskent LP Cruz, JN Crossley, R Egrot, R Hirsch, C Areces, R Fervari, G Hoffmann, ... | | |
LOGIC JOURNAL of the IGPL LP Cruz, JN Crossley, R Egrot, R Hirsch, C Areces, R Fervari, G Hoffmann, ... | | |
Substructural Logics in Natural Deduction 211 E. Zimmermann Not Everything is Possible 233 A. Iacona An Axiomatisation for the Multi-modal Logic of Knowledge LT LTK, E Calardo, VV Rybakov, R Kellerman, H Wansing | | |