Intensional and Higher-Order Modal Logic - 1st Edition - ISBN: 9780720403602, 9781483274737

Intensional and Higher-Order Modal Logic

1st Edition

Authors: Daniel Gallin
eBook ISBN: 9781483274737
Imprint: North Holland
Published Date: 1st January 1975
Page Count: 158
Tax/VAT will be calculated at check-out Price includes VAT (GST)
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
24.95
17.46
17.46
17.46
17.46
17.46
19.96
19.96
19.99
13.99
13.99
13.99
13.99
13.99
15.99
15.99
31.95
22.36
22.36
22.36
22.36
22.36
25.56
25.56
Unavailable
Price includes VAT (GST)
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

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.

Table of Contents


Part I. Intensional Logic

Chapter 1. Intensional Logic

§1. Natural Language and Intensional Logic

§2. The Logic IL

§3. Generalized Completeness of IL

§4. Persistence in IL

Chapter 2. Alternative Formulations of IL

§5. Modal T-Logic

§6. Extensions of IL and MLT

§7. Normal Forms

§8. Two-Sorted Type Theory

Part II. Higher-Order Modal Logic

Chapter 3. Higher-Order Modal Logic

§9. Modal Predicate Logic

§10. Propositions in MLP

§11. Atomic Propositions and EC

§12. Propositional Operators

§13. Relative Strength of IL and MLP

Chapter 4. Algebraic Semantics

§14. Boolean Models of MLP

§15. Modal Independence Results

§16. Topological Models of MLP

§17. Cohen’s Independence Results

Bibliography

Details

No. of pages:
158
Language:
English
Copyright:
© North Holland 1975
Published:
Imprint:
North Holland
eBook ISBN:
9781483274737

About the Author

Daniel Gallin

Affiliations and Expertise

Department of Mathematics, University of San Francisco