We a good story
Quick delivery in the UK

Kripke's Worlds

- An Introduction to Modal Logics via Tableaux

About 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).

Show more
  • Language:
  • English
  • ISBN:
  • 9783764385033
  • Binding:
  • Paperback
  • Pages:
  • 198
  • Published:
  • December 9, 2013
  • Edition:
  • 2012
  • Dimensions:
  • 242x169x11 mm.
  • Weight:
  • 370 g.
Delivery: 1-2 weeks
Expected delivery: July 13, 2024

Description of 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).

User ratings of Kripke's Worlds



Find similar books
The book Kripke's Worlds can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.