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

Proof Theory of Modal Logic

Bag om Proof Theory of Modal Logic

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792341208
  • Indbinding:
  • Hardback
  • Sideantal:
  • 318
  • Udgivet:
  • 1. oktober 1996
  • Udgave:
  • 1996
  • Størrelse:
  • 235x155x19 mm.
  • Vægt:
  • 1430 g.
  • 8-11 hverdage.
  • 6. december 2024

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 Proof Theory of Modal Logic

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Brugerbedømmelser af Proof Theory of Modal Logic



Find lignende bøger
Bogen Proof Theory of Modal Logic findes i følgende kategorier: