Property theory: The type-free approachv. the church approach George Bealer OriginalPaper Pages: 139 - 171
Axiomatisation and decidability ofF andP in cyclical time Mark Reynolds OriginalPaper Pages: 197 - 224