Scholar
Ranald Clouston
Google Scholar ID: _7YKlyMAAAAJ
Lecturer, Australian National University
Logic
Semantics
Type Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
732
H-index
13
i10-index
16
Publications
20
Co-authors
12
list available
Publications
3 items
Embedding Modal Logics into Logics of Bunched Implications
2026
Cited
0
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
2026
Cited
0
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
arXiv.org · 2024
Cited
2
Co-authors
6 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Alwen Tiu
School of Computing, The Australian National University
Rasmus Møgelberg
IT University of Copenhagen
Bas Spitters
Associate Professor, Aarhus University
Tim Lyon
PostDoc Researcher, TU Dresden
