‘Rolling down the River’: Saul Kripke and the Course of Modal Logic.
by
Johan Van Benthem
BibTeX
@MISC{Benthem_‘rollingdown,
author = {Johan Van Benthem},
title = {‘Rolling down the River’: Saul Kripke and the Course of Modal Logic.},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
on Modal Logic’, and sketch subsequent developments in modal logic with a view to their general logical thrust.
Citations
| 627 | A companion to modal logic - Hughes, Cresswell - 1984 |
| 170 | Boolean algebras with operators - Jónsson, Tarski - 1951 |
| 46 | de Rijke - Blackburn, M - 2001 |
| 17 | Semantical considerations on modal logic, Acta Philosophica Fennica 16 - Kripke - 1963 |
| 15 | Algebras and coalgebras - Venema |
| 14 | Semantic construction of intuitionistic logic - Beth - 1956 |
| 14 | The stories of logic and information - Benthem, Martínez - 2008 |
| 10 | Modal logics of space - Benthem, Bezhanishvili |
| 9 | LINCOS: Design of a Language for Cosmic Intercourse - Freudenthal - 1960 |
| 6 | Modal µ-calculi - Bradfield, Stirling - 2006 |
| 5 | Linström theorems for fragments of firstorder logic - Cate, Benthem, et al. - 2007 |
| 4 | First-Order Modal Logic - Brauner, Ghilardi - 2006 |
| 4 | Modal Logic in Mathematics - Artemov - 2006 |
| 1 | Benthem, 2009, Modal Logic for Open Minds - van |
| 1 | Possible Worlds Semantics for Modal Notions Conceived as Predicates - Welch - 2003 |
