Follow
Ruaan Kellerman
Ruaan Kellerman
Senior Lecturer, University of Pretoria
Verified email at up.ac.za - Homepage
Title
Cited by
Cited by
Year
Logical theories for fragments of elementary geometry
P Balbiani, V Goranko, R Kellerman, D Vakarelov
Handbook of spatial logics, 343-428, 2007
212007
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
72011
Logical theories of trees
R Kellerman
University of the Witwatersrand, 2010
52010
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
32021
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
22006
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
12023
Structural theory of trees. I. Branching and condensations of trees
V Goranko, R Kellerman, A Zanardo
arXiv preprint arXiv:2301.06344, 2023
12023
First-order theories of bounded trees
R Kellerman
Archive for Mathematical Logic 61 (1), 263-297, 2022
12022
First-order aspects of tree paths
R Kellerman
Logic Journal of the IGPL 23 (4), 688-704, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–17