1 résultat(s)
Télécharger le livre : Kripke's Worlds
Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber
Kripke's Worlds
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and...
Editeur : Birkhäuser
Parution : 2013-11-20
Collection : Studies in Universal Logic
Format(s) : ePub
89,66 €
Téléchargement immédiat
Dès validation de votre commande