A Semantic Hierarchy for Intuitionistic Logic

with Guram Bezhanishvili.

2018. Forthcoming in Indagationes Mathematicae.


One Modal Logic to Rule Them All?

with Tadeusz Litak.

2018. Advances in Modal Logic, Vol. 12.

Extended technical report here.


A Note on Algebraic Semantics for S5 with Propositional Quantifiers

Forthcoming in Notre Dame Journal of Formal Logic.


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.