Intensional and Higher-Order Modal Logic With Applications to Montague-Semantics

Gallin, Daniel:

ISBN 10: 072040360X / ISBN 13: 9780720403602

Published by Amsterdam & New York : North-Holland, 1975

About this Item

VII, 148 Pages Innen sauberer, guter Zustand. Softcover, Broschur angestaubt und mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Papierbedingt gebräunt. Englische Sprache - Original Paperback with Library label. Shop-soiled. Inside with Library stamps, Paper bronzy, good condition. English Language B11-02-06I|S23 Sprache: Englisch Gewicht in Gramm: 342. Seller Inventory # 70544

Bibliographic Details

Title: Intensional and Higher-Order Modal Logic ...

Publisher: Amsterdam & New York : North-Holland

Publication Date: 1975

Binding: 24 x 16,5 cm

Condition: Gut

Edition: North-Holland Mathematics Studies19.

About this title

Synopsis:

North-Holland Mathematics Studies, 19: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics focuses on an approach to the problem of providing a precise account of natural language syntax and semantics, including the set-theoretic semantical methods, Boolean models, and two-sorted type theory. The book first offers information on intensional logic and alternative formulations of intensional logic. Topics include two-sorted type theory, normal forms, extensions and intensional logic, modal T-logic, persistence in intensional logic, generalized completeness of intensional logic, and natural language and intensional logic. The text then examines higher-order modal logic and algebraic semantics. Discussions focus on Cohen's independence results, topological models of MLp, modal independence results, Boolean models of MLp, relative strength of intensional logic and MLp, propositional operators, modal predicate logic, and propositions in MLp. The monograph is a valuable reference for mathematicians and researchers interested in intensional and higher-order modal logic.