Possibility Frames and Forcing for Modal Logic

2015. UC Berkeley Working Paper in Logic and the Methodology of Science

Another Problem in Possible World Semantics

with Yifeng Ding

2020. Advances in Modal Logic, Vol. 13.

A Bimodal Perspective on Possibility Semantics

with Johan van Benthem and Nick Bezhanishvili

2017. Journal of Logic and Computation. Publisher's version.

Partiality and Adjointness in Modal Logic

2014. Advances in Modal Logic, Vol. 10

For other recent work at Berkeley on possibility semantics, see Matthew Harrison Trainor's "First-Order Possibility Models and Finitary Completeness Proofs" and "A Representation Theorem for Possibility Models" (2016) and Kentaro Yamamoto's "Modal Correspondence Theory for Possibility Semantics" (2016).

For the starting point of possibility semantics for modal logic, see Lloyd Humberstone's "From Worlds to Possibilities" (1981).