Possibility Frames and Forcing for Modal Logic

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

Under review.

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 "Worldizations of 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).