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

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

• New

  Paperback
  2013

  $81.68

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