Propositional Quantifiers

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

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