| Van Benthem, J. (1986), Logical Semantics. Reidel, Dordrecht. |
....are modeled, but these will not be studied in detail here. See the end of Section 5.2 for some sketchy remarks. 7. Note that this leaves out some interesting possibilities, such as the case where Q is the quanti er most. For a mathematical characterization of the four logical quanti ers, cf. van Benthem 1986. 8. If the set A consists of A 1 ; An , each of which corresponds to a way of disambiguating all the premisses, while the set B consists of B 1 ; Bm , each of which corresponds to a way of disambiguating the conclusion, then this instantiation can also be written as j= a , Def (A 1 ....
Van Benthem, J. (1986), Logical Semantics. Reidel, Dordrecht.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC