Kripke's worlds : an introduction to modal logics via Tableaux / Olivier Gasquet [and three others].
Gasquet, Olivier.
2014
QA9.46 .G37 2014
Available Online

Linked e-resources

Linked Resource Online Access

Details

Title Kripke's worlds : an introduction to modal logics via Tableaux / Olivier Gasquet [and three others].
Author Gasquet, Olivier.
ISBN 9783764385040 (e-book)
9783764385033
Published Basel ; New York : Springer, [2014]
Copyright 2014
Language English
Description 1 online resource (208 pages) : illustrations.
Call Number QA9.46 .G37 2014
Dewey Decimal Classification 511.31
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Source of Description Description based on online resource; title from PDF title page (ebrary, viewed December 21, 2013).
Series Studies in universal logic
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Preface
1 Modelling things with graphs
2 Talking about graphs
3 The basics of the model construction method
4 Logics with simple constraints on models
5 Logics with transitive accessibility relations
6 Model Checking
7 Modal logics with transitive closure
Bibliography
Index.

Browse Subjects

Show more subjects...

Statistics

from
to
Export