Modal Logic
Sorozatcím: Oxford Logic Guides; 35;
-
10% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár GBP 265.00
-
126 603 Ft (120 575 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 10% (cc. 12 660 Ft off)
- Kedvezményes ár 113 943 Ft (108 518 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
126 603 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Clarendon Press
- Megjelenés dátuma 1997. március 27.
- ISBN 9780198537793
- Kötéstípus Keménykötés
- Terjedelem620 oldal
- Méret 242x164x39 mm
- Súly 1066 g
- Nyelv angol
- Illusztrációk line figures, tables 0
Kategóriák
Rövid leírás:
This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and computer science. It presents in a systematic and comprehensive way a wide range of classical and novel methods and results and can be used by a specialist as a reference book.
TöbbHosszú leírás:
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it is true after executing a program' in computer science. It is an advanced text which starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantical and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics.
A specialist can use the book as a source of references. For the first time results and methods of many directions in propositional modal logic - from completeness and duality to algorithmic problems - are collected and systematically presented in one volume. Unlike other books, modal logic is treated here as a uniform theory rather than a collection of a few particular systems. It is the only book presenting the theory of superintuitionistic logics.
This book presents a rich resource for modern mathematical modal logic, useful both as an advanced textbook and as a source for up-to-date results.
Tartalomjegyzék:
Introduction
Classical logic
Intuitionistic logic
Modal logics
From logics to classes of logics
Canonical models and filtration
Incompleteness
Algebraic semantics
Relational semantics
Canonical formulas
Kripke completeness
The finite approximability
Tabularity
Post completeness
Interpolation
The disjunction property and Halldén completeness
The decidability of logics
Admissibility and drivability of inference rules
The decidability of logics' properties
Complexity problems
Reference
Index
