A Set Theory with Support for Partial Functions William M. FarmerJoshua D. Guttman OriginalPaper Pages: 59 - 78
On Agents That Have the Ability to Choose Wiebe van der HoekBernd van LinderJohn-Jules Meyer OriginalPaper Pages: 79 - 119
Sequent Calculi and Decision Procedures for Weak Modal Systems René LavendhommeThierry Lucas OriginalPaper Pages: 121 - 145
Ability and Knowing How in the Situation Calculus Yves LespéranceHector J. LevesqueRichard B. Scherl OriginalPaper Pages: 165 - 186