
Conte aos seus amigos sobre este item:
Kripke's Worlds: An Introduction to Modal Logics via Tableaux - Studies in Universal Logic 2012 edition
Olivier Gasquet
Kripke's Worlds: An Introduction to Modal Logics via Tableaux - Studies in Universal Logic 2012 edition
Olivier Gasquet
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).
216 pages, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 9 de dezembro de 2013 |
ISBN13 | 9783764385033 |
Editoras | Birkhauser Verlag AG |
Páginas | 198 |
Dimensões | 242 × 169 × 11 mm · 349 g |
Idioma | French |
Ver tudo de Olivier Gasquet ( por exemplo Paperback Book )