De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Kripke's Worlds

- 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.
  • 27. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: