25 Books to Read Before You Die
 
 

Recently Viewed clear list


The Powell's Playlist | August 8, 2014

Peter Mendelsund: IMG The Powell's Playlist: Water Music by Peter Mendelsund



We "see" when we read, and we "see" when we listen. There are many ways in which music can create the cross-sensory experience of this seeing...... Continue »
  1. $11.87 Sale Trade Paper add to wish list

spacer
Qualifying orders ship free.
$200.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Linguistics- General

This title in other editions

Other titles in the Applied Logic series:

Applied Logic #4: Multi-Dimensional Modal Logic

by

Applied Logic #4: Multi-Dimensional Modal Logic Cover

 

Synopses & Reviews

Publisher Comments:

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

Table of Contents

Preface. 1. Multi-Dimensional Modal Logic. 2. Two- Dimensional Modal Logics. 3. Arrow Logic. 4. Modal Logics of Intervals. 5. Modal Logics of Relations. 6. Multi-Dimensional Semantics for Every Modal Language. Open Problems. A. Modal Similarity Types. B. A Modal Toolkit. Bibliography. List of Symbols. Index.

Product Details

ISBN:
9789401064019
Author:
Marx, Maarten
Publisher:
Springer
Author:
Venema, Yde
Location:
Dordrecht
Subject:
Logic
Subject:
Mathematical Logic and Foundations
Subject:
Computational linguistics
Subject:
Philosophy : General
Subject:
Language, literature and biography
Subject:
mathematics and statistics
Subject:
Logic, symbolic and mathematical
Subject:
Linguistics - General
Copyright:
Edition Description:
Softcover reprint of the original 1st ed. 1997
Series:
Applied Logic Series
Series Volume:
4
Publication Date:
20130128
Binding:
TRADE PAPER
Language:
English
Pages:
252
Dimensions:
235 x 155 mm

Related Subjects

History and Social Science » Linguistics » General
Humanities » Philosophy » Logic
Reference » Science Reference » Technology
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Physics » Astrophysics

Applied Logic #4: Multi-Dimensional Modal Logic New Trade Paper
0 stars - 0 reviews
$200.95 In Stock
Product details 252 pages Springer - English 9789401064019 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.