Login

Gasquet, Olivier

Kripke’s Worlds

Gasquet, Olivier - Kripke’s Worlds, ebook

114,40€

Ebook, PDF with Adobe DRM
ISBN: 9783764385040
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Modelling with Graphs
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

2. Talking About Graphs
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

3. The Basics of the Model Construction Method
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

4. Logics with Simple Constraints on Models
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

5. Logics with Transitive Accessibility Relations
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

6. Model Checking
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

7. Modal Logics with Transitive Closure
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

Keywords: Mathematics, Mathematical Logic and Foundations, Mathematics, general

Author(s)
 
 
 
Publisher
Springer
Publication year
2014
Language
en
Edition
2014
Series
Studies in Universal Logic
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783764385040

Similar titles