Intensional and Higher-Order Modal Logic: With applications to Montague semanticsElsevier, 21 sept. 2011 - 145 pages Intensional and Higher-Order Modal Logic |
Autres éditions - Tout afficher
Intensional and Higher-order Modal Logic: With Applications to Montague ... Aucun aperçu disponible - 1975 |
Expressions et termes fréquents
Ag(N arbitrary assignment axiom of choice b-valid B-valued Boolean model Boolean value Cnj(A colleague of Jones complete Boolean algebra complete S5-algebra Completeness Theorem comprehension schema condition constant continuum hypothesis COROLLARY define denote easily equivalent exists Ext(x extension F sat follows formulas of MLp frame for MLp free occurrences free variables g-model g-satisfiable higher-order modal logic homomorphism IL-D implies index set infer intensional Lemma M-formula M-sentence mapping MLp based modal logic modally closed formula model g-model model of MLp Montague mula non-empty set notion objects of type occurring free predicate logic prenex propositional operator provable prove quantifiers recursion Rn(y satisfies schema sequence set of formulas standard model subsets Suppose symbols of type term Aa topological algebra type q valid in MLp variable of type verify yn-l