Copied Multi-Dimensional Modal Logic
Multi-Dimensional Modal Logic
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Energiewirtschaftliche Untersuchungen in 15 Molkereibetrieben
$44.99
Problems in Algebraic Number Theory
$49.99
Membrane Dynamics and Domains
$219.99
Konstitutionelle Verstimmung und manisch-depressives Irresein
$59.99
Rigorous Development of Complex Fault-Tolerant Systems
$54.99
Sustainable Innovation
$14.99
Cuentos Fonticos (Spanish Phonics Readers): El Dia del Libro
$3.71
An Institutional History of Italian Economics in the Interwar Period Volume II
$84.99
Inorganic and Analytical Chemistry
$39.99
Visual Database Systems 3
$169.00
Customer Engagement in Theory and Practice
$54.99
Der Vorsitzende im Arbeitsgerichtlichen Verfahren
$59.99
Die Kultur von Scenedesmus obliquus in Abwasser
$49.99
Artificial Intelligence for Biology and Agriculture
$169.99
Kollektive Autor:innenschaft digital/analog
$79.99
Engineering Electronic Negotiations
$169.99
A Few Tens au Scale Physical and Chemical Structures Around Young Low-Mass Protostars
$179.99
Robotics, Control and Computer Vision
$249.99
NMR at Very High Field
$84.99
Plasmaphysik und Fusionsforschung
$44.99
Theoretische Anstze der Personalwirtschaft
$17.99
The Psychodynamics of Enlightened Leadership
$49.99
The Importance of Assent
$109.99
Credit Risk: Modeling, Valuation and Hedging
$129.99
Discovering My World: Human Body: Muscles
$3.71
Electronic Structure of Semiconductor Heterojunctions
$219.99
The Night Before Preschool
$4.46
Medikamente in der Tumortherapie
$39.99
Medical Image Computing and Computer-Assisted Intervention MICCAI 2017
$54.99
Materialien zur Kriminalsoziologie
$119.99
Veteran Psychiatry in the US
$89.99
Climate Change and Energy Policy
$54.99
Microwave Analysis of Unconventional Superconductors with Coplanar-Resonator Techniques
$129.99
Depression und Manie
$39.99
Policing in Africa
$54.99
Pathology of Peripheral Nerves
$84.99
Advances in Information Technologies for Electromagnetics
$169.99
Symposium in Immunology III
$109.99
Macroeconomic Theory and Macroeconomic Pedagogy
$54.99
Smart Card Research and Advanced Applications
$54.99
