First-Order Resolution Methods for Modal Logics
Book chapter (January 2013)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (January 2013)
Article in Language and Linguistics Compass (March 2010)
Article in Syntax (August 2004)