A Semantic Hierarchy for Intuitionistic Logic

with Guram Bezhanishvili.

2017. Under review.


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.