Kripke’s Worlds
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Basel

9783764385033, 9783764385040
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modal Logics with Transitive Closure

2014 ◽  
pp. 157-189
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber
Keyword(s):  
Transitive Closure ◽  
Modal Logics

Logics with Transitive Accessibility Relations

2014 ◽  
pp. 125-146
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber

Model Checking

2014 ◽  
pp. 147-156
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber
Keyword(s):  
Model Checking

Talking About Graphs

2014 ◽  
pp. 23-51
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber

Modelling with Graphs

2014 ◽  
pp. 1-21
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber

Logics with Simple Constraints on Models

2014 ◽  
pp. 87-123
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber

The Basics of the Model Construction Method

2014 ◽  
pp. 53-85
Author(s):  
Olivier Gasquet ◽  
Andreas Herzig ◽  
Bilal Said ◽  
François Schwarzentruber
Keyword(s):  
Construction Method ◽  
Model Construction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document