Tallenna
Kripke’s Worlds
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).
- Alaotsikko
- An Introduction to Modal Logics via Tableaux
- Kirjailija
- Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
- Painos
- 2012
- ISBN
- 9783764385033
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.12.2013
- Kustantaja
- Birkhauser Verlag AG
- Sivumäärä
- 198
