Gasquet, Olivier
Kripke’s Worlds
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
Avainsanat: Mathematics, Mathematical Logic and Foundations, Mathematics, general
- Tekijä(t)
- Gasquet, Olivier
- Herzig, Andreas
- Said, Bilal
- Schwarzentruber, François
- Julkaisija
- Springer
- Julkaisuvuosi
- 2014
- Kieli
- en
- Painos
- 2014
- Sarja
- Studies in Universal Logic
- Sivumäärä
- 15 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783764385040
