Kripke’s Worlds
An Introduction to Modal Logics via Tableaux
Häftad, Engelska, 2013
Av Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, Francois Schwarzentruber
1 189 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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).
Produktinformation
- Utgivningsdatum2013-12-09
- Mått168 x 240 x 11 mm
- Vikt370 g
- FormatHäftad
- SpråkEngelska
- SerieStudies in Universal Logic
- Antal sidor198
- Upplaga2012
- FörlagSpringer Basel
- ISBN9783764385033