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

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

• New

  Paperback
  2013

  $83.02

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