Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4) - Image 1

£68.30

Springer Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)

Name: Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)
Brand: Springer
Price: 75.73 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 86 days • 72 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (46 days, 63.9%)

Price range: £68 - £76

Price levels: 4 different prices over 72 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9401064016
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 06 October 2012
Listed Since: 06 December 2012

Barcode

No barcode data available

Springer Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

First Steps in Modal Logic

Williamson on Modality

Model Theory: 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

The Many Valued and Nonmonotonic Turn in Logic (Volume 8) (Handbook of the History of Logic, Volume 8)

Modality in Contemporary English: 44 (Topics in English Linguistics [TiEL], 44)

The Semantics of the Modal Auxiliaries: Grammar) (Routledge Library Editions: Linguistics)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Modality and Theory of Mind Elements across Languages: 243 (Trends in Linguistics. Studies and Monographs [TiLSM], 243)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Philosophy and Model Theory

Probabilistic Extensions of Various Logical Systems

Modality and Ellipsis: Diachronic and Synchronic Evidence: 202 (Trends in Linguistics. Studies and Monographs [TiLSM], 202)

Hegel's Actuality Chapter of the Science of Logic: A Commentary

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

Krister Segerberg on Logic of Actions: 1 (Outstanding Contributions to Logic, 1)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic in High Definition: Trends in Logical Semantics: 56

Logic for Computer Science and Artificial Intelligence

Laws and Explanations; Theories and Modal Possibilities: 410 (Synthese Library, 410)

Logic Colloquium '03: Lecture Notes in Logic 24

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)