Kripke’s Worlds
Andreas Herzig, Bilal Said, Francois Schwarzentruber, Olivier Gasquet
Springer Basel, 2013
104,50 €On orderDelivery: 2-3 weeks
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).
- ISBN-13
- 9783764385033
- ISBN-10
- 3764385030
- Publisher
- Springer Basel
- Year
- 2013
- Publication date
- 2013-12-09
- Pages
- 198
- Dimensions
- 169x242x11
- Weight
- 370