Advances in Intensional Logic
Author:   Maarten de Rijke
Publisher:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 1997
Volume:   7
ISBN:  

9789048148974


Pages:   294
Publication Date:   06 December 2010
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $448.77 Quantity:  
Add to Cart

Share |

Advances in Intensional Logic


Add your own review!

Overview

This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.

Full Product Details

Author:   Maarten de Rijke
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 1997
Volume:   7
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.474kg
ISBN:  

9789048148974


ISBN 10:   9048148979
Pages:   294
Publication Date:   06 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Modal Quantification over Structured Domains.- Modal Logic and Model-Theoretic Syntax.- The Functional Interpretation of Modal Necessity.- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.- The Logic of Correct Description.- Modal Logics of Arrows.- A Full-Circle Theorem for Simple Tense Logic.- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline.- The Modal Object Calculus and its Interpretation.- Name Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now