Victoria University of Wellington — New Zealand
Computer Science · Physical Sciences
28h-index4.0kcitations170works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(79), Advanced Algebra and Logic(66), Logic, programming, and type systems(54), Mathematical and Theoretical Analysis(15), Semantic Web and Ontologies(11)
Publications170 total
Theoria·2025
Australasian Journal of Philosophy·2025Open Access
The Review of Symbolic Logic·2024Open Access
arXiv (Cornell University)·2023Open Access
The Review of Symbolic Logic·2023· 1 citedOpen Access
arXiv (Cornell University)·2022Open Access
Outstanding contributions to logic·2021· 2 citedOpen Access
Outstanding contributions to logic·2021Open Access
The Australasian Journal of Logic·2021Open Access
Outstanding contributions to logic·2021· 1 citedOpen Access
Oxford University Press eBooks·2020· 2 citedOpen Access
2020· 7 citedOpen Access
arXiv (Cornell University)·2020Open Access
arXiv (Cornell University)·2019· 1 citedOpen Access
arXiv (Cornell University)·2019· 3 citedOpen Access
Morphisims and Duality for Polarities and Lattices with Operators.
FLAP·2019· 4 cited
Algebra Universalis·2018· 14 citedOpen Access
Canonicity Frameworks and Ultraproducts of Polarities.
Advances in Modal Logic·2018
Studia Logica·2017· 9 citedOpen Access
Passive Attenuation of Nitrogen Species at Northern Mine Sites
World Academy of Science, Engineering and Technology, International Journal of Environmental and Ecological Engineering·2017
page 1 of 9Next →
Frequent Co-authors
Ian Hodkinson(4), Edwin Mares(2), Yde Venema(2), S. K. Thomason(1), Alan J. Martin(1), Marcel Jackson(1), Antonino Salibra(1), Hajnal Andréka(1), István Németi(1), Michael T. Kane(1)