Udvidet returret til d. 31. januar 2025

Kripke's Worlds - Olivier Gasquet - Bog

- An Introduction to Modal Logics via Tableaux

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783764385033
  • Indbinding:
  • Paperback
  • Sideantal:
  • 198
  • Udgivet:
  • 9. december 2013
  • Udgave:
  • 2012
  • Størrelse:
  • 242x169x11 mm.
  • Vægt:
  • 370 g.
  • 8-11 hverdage.
  • 30. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Brugerbedømmelser af Kripke's Worlds



Find lignende bøger
Bogen Kripke's Worlds findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.