1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

(Bog, Paperback / softback, Engelsk)
Forfattere: Olivier Gasquet, Andreas Herzig, Bilal Said, Francois Schwarzentruber
Forlag: Springer Basel

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Basel
Forfattere Olivier Gasquet, Andreas Herzig, Bilal Said, Francois Schwarzentruber
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2012
Udgivelsesdato 09-12-2013
Første udgivelsesår 2013
Serie Studies in Universal Logic
Illustrationer 73 Illustrations, black and white
Originalsprog Switzerland
Sideantal 198
Indbinding Paperback / softback
Forlag Springer Basel
Sideoplysninger 198 pages, 73 Illustrations, black and white
Mål 169 x 242 x 11
ISBN-13 / EAN-13 9783764385033