Kripke’s Worlds
An Introduction to Modal Logics via Tableaux
AvOlivier Gasquet,Andreas Herzig
Häftad, Engelska, 2013
Del i serien Studies in Universal Logic
903 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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).