Kripke’s worlds: an introduction to modal logics via tableaux
Auteur :
Gasquet, Olivier / Herzig, Andreas / Said, Bilal / Schwarzentruber, François
Éditeur :
Springer Basel
ISBN :
9783764385033
Date de publication :
9 déc. 2013
Dimensions :
24,0 x 16,8 cm
Langue :
Anglais
Pays d'origine :
Suisse
Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).