FOM: Quantifier question

Torkel Franzen torkel at sm.luth.se
Fri Jul 12 13:29:44 EDT 2002


 Matthew Frank says:

  >Model-Theoretic Logics, ed. Jon Barwise and Solomon Feferman, Springer,
  >1985, is the place to look, in the early chapters.

  I've looked, but didn't find anything about this logic. Please note
that we're not talking about an extension of ordinary first order
logic.




More information about the FOM mailing list