De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Kripke's Worlds

Kripke's Worlds

- An Introduction to Modal Logics via Tableaux

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

indgår i Studies in Universal Logic serien

Kripke's Worlds af Olivier Gasquet
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.
  • 12. december 2024
På lager
Forlænget returret til d. 31. januar 2025

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.

Bag om Olivier Gasquet

Vis alle bøger af Olivier Gasquet

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



Andre købte også..
Find lignende bøger
Bogen Kripke's Worlds findes i følgende kategorier: