Zakharyaschev Chagrov: Modal Logic

Cover: 9780198537793 | Modal Logic | Zakharyaschev Chagrov (u. a.) | Buch | Englisch | 1997

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

331,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic 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. 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.

Inhaltsverzeichnis

Introduction

1.: Classical logic

2.: Intuitionistic logic

3.: Modal logics

4.: From logics to classes of logics

5.: Canonical models and filtration

6.: Incompleteness

7.: Algebraic semantics

8.: Relational semantics

9.: Canonical formulas

10.: Kripke completeness

11.: The finite approximability

12.: Tabularity

13.: Post completeness

14.: Interpolation

15.: The disjunction property and Halldén completeness

16.: The decidability of logics

17.: Admissibility and drivability of inference rules

18.: The decidability of logics' properties

19.: Complexity problems

Reference

Index

Details

Erscheinungsjahr:	1997
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780198537793
ISBN-10:	0198537794
Sprache:	Englisch
Einband:	Gebunden
Autor:	Chagrov, Zakharyaschev Zakharyaschev, Michael Chagrov, Alexander
Hersteller:	Oxford University Press (UK)
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	238 x 159 x 52 mm
Von/Mit:	Zakharyaschev Chagrov (u. a.)
Erscheinungsdatum:	19.06.1997
Gewicht:	1,063 kg

Artikel-ID: 133175309

Inhaltsverzeichnis

Introduction

1.: Classical logic

2.: Intuitionistic logic

3.: Modal logics

4.: From logics to classes of logics

5.: Canonical models and filtration

6.: Incompleteness

7.: Algebraic semantics

8.: Relational semantics

9.: Canonical formulas

10.: Kripke completeness

11.: The finite approximability

12.: Tabularity

13.: Post completeness

14.: Interpolation

15.: The disjunction property and Halldén completeness

16.: The decidability of logics

17.: Admissibility and drivability of inference rules

18.: The decidability of logics' properties

19.: Complexity problems

Reference

Index

Details

Erscheinungsjahr:	1997
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780198537793
ISBN-10:	0198537794
Sprache:	Englisch
Einband:	Gebunden
Autor:	Chagrov, Zakharyaschev Zakharyaschev, Michael Chagrov, Alexander
Hersteller:	Oxford University Press (UK)
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	238 x 159 x 52 mm
Von/Mit:	Zakharyaschev Chagrov (u. a.)
Erscheinungsdatum:	19.06.1997
Gewicht:	1,063 kg