Ranald Clouston
Scholar

Ranald Clouston

Google Scholar ID: _7YKlyMAAAAJ
Lecturer, Australian National University
LogicSemanticsType Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
732
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
12 total
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Rajeev Gore
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Alwen Tiu
Alwen Tiu
School of Computing, The Australian National University
Rasmus Møgelberg
Rasmus Møgelberg
IT University of Copenhagen
Bas Spitters
Bas Spitters
Associate Professor, Aarhus University
Co-author 8
Co-author 8