Logics with Simple Constraints on Models

Kripke’s Worlds ◽

10.1007/978-3-7643-8504-0_4 ◽

2014 ◽

pp. 87-123

Author(s):

Olivier Gasquet ◽

Andreas Herzig ◽

Bilal Said ◽

François Schwarzentruber

Download Full-text