Linked e-resources
Details
Table of Contents
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.
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.