Logics with Transitive Accessibility Relations

Kripke’s Worlds ◽

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

2014 ◽

pp. 125-146

Author(s):

Olivier Gasquet ◽

Andreas Herzig ◽

Bilal Said ◽

François Schwarzentruber

Download Full-text