Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Kripke's Worlds

Kripke's Worlds

- An Introduction to Modal Logics via Tableaux

av Olivier Gasquet, Andreas Herzig, Bilal Said, Francois Schwarzentruber

del av Studies in Universal Logic-serien

Kripke's Worlds av Olivier Gasquet
Om 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).

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783764385033
  • Format:
  • Häftad
  • Sidor:
  • 198
  • Utgiven:
  • 9 December 2013
  • Utgåva:
  • 2012
  • Mått:
  • 242x169x11 mm.
  • Vikt:
  • 370 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 19 Juli 2024

Om Olivier Gasquet

Se alla böcker av Olivier Gasquet

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

Användarnas betyg av Kripke's Worlds



Andra köpte även...
Hitta liknande böcker
Boken Kripke's Worlds finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.