Ebooks de Bilal Said en EPUB

1 Livre(s)
Télécharger le livre : Kripke's Worlds
Ajouter à ma liste d'envies
Kripke's Worlds
Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber
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
ePub

89,66 €