A Semantic Hierarchy for Intuitionistic Logic

with Guram Bezhanishvili

2019. Indagationes Mathematicae. Publisher's version.


A Note on Algebraic Semantics for S5 with Propositional Quantifiers

2019. Notre Dame Journal of Formal Logic. Publisher's version.


One Modal Logic to Rule Them All?

with Tadeusz Litak

2018. Advances in Modal Logic, Vol. 12.

Extended technical report here.


Complete Additivity and Modal Incompleteness

with Tadeusz Litak

Forthcoming in The Review of Symbolic Logic.


Locales, Nuclei, and Dragalin Frames

with Guram Bezhanishvili

2016. Advances in Modal Logic, Vol. 11.


On the Modal Logic of Subset and Superset: 

Tense Logic over Medvedev Frames

2016. Studia Logica. Publisher's version.