Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

by Andreas Herzig (Contributor), Andreas Herzig (Contributor), Olivier Gasquet (Author), François Schwarzentruber (Contributor), Bilal Said (Contributor)

• New

  Paperback
  2013

  $85.51

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