University of Alberta — Canada
Computer Science · Physical Sciences
32h-index5.2kcitations184works0.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(54), Syntax, Semantics, Linguistic Variation(34), Semantic Web and Ontologies(29), Logic, programming, and type systems(22), Advanced Algebra and Logic(22)
Publications184 total
arXiv (Cornell University)·2025Open Access
ArXiv.org·2025· 1 citedOpen Access
2025
2025· 2 cited
2025· 1 cited
2025
Natural Deduction Systems in Logic
2021· 1 cited
Outstanding contributions to logic·2021
Cambridge University Press eBooks·2021· 2 cited
2021
Cambridge University Press eBooks·2021· 3 cited
Synthese Library/Synthese library·2019· 14 cited
Lecture notes in computer science·2019· 2 cited
page 1 of 10Next →
Frequent Co-authors
Lenhart K. Schubert(5), Renée Elio(4), Gennaro Chierchia(2), Geoff Sutcliffe(2), Christian Suttner(2), Alasdair Urquhart(2), Peter Pagin(2), Allen Hazen(2), Manfred Krifka(1), Gregory A. Carlson(1), Alice Ter Meulen(1), Godehard Link(1), Heather Mateyak(1), Gregory N. Carlson(1), Sam Alxatib(1), Charles Elkan(1), H.R. Berenji(1), B. Chandrasekaran(1), C.J.S. de Silva(1), Y. Attikiouzel(1)