Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Kripke's Worlds

Kripke's Worlds - Olivier Gasquet - Bog

- 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.
  • 2-3 uger.
  • 16. Juli 2024
På lager

Normalpris

Medlemspris

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

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:

Gør som tusindvis af andre bogelskere

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