Intensional and Higher-Order Modal Logic

Gallin, Daniel

ISBN 10: 072040360X / ISBN 13: 9780720403602

Verlag: Amsterdam - Oxford, North Holland, Amsterdam - Oxford, 1975

Beschreibung

BTT144LBrossura editoriale,in lingua inglese, volume in buone condizioni, lievi segni di usura causati dal fattore tempo sulla copertina,  interno in ottimo stato, legatura salda, piccola firma sulla prima pagina158  pagine circacopertina come da fotoISBN/ASIN 072040360X. Bestandsnummer des Verkäufers bc_202468

Bibliografische Details

Titel: Intensional and Higher-Order Modal Logic

Verlag: Amsterdam - Oxford, North Holland, Amsterdam - Oxford

Erscheinungsdatum: 1975

Einband: brossura paperback

Zustand: Buono (Good)

Art des Buches: Book

Über diesen Titel

Inhaltsangabe:

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.