Gå direkte til innholdet
Kripke’s Worlds
Spar

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).
Undertittel
An Introduction to Modal Logics via Tableaux
Opplag
2012
ISBN
9783764385033
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.12.2013
Antall sider
198