Intensional Logic: An Essay in Analytical Metaphysics
B. H. Slater · Medical Entomology and Zoology · 1994
Part 1 Roots: Prior's contribution Hilbert's influence artificial beliefs. Part 2 Trunk: argumentative liars Godel and provability operator logics. Part 3 Branches: using Hilbert modal semantics Routley's formula. Part 4 Fruits: Epsilon identities descriptive opacity individual propositions.