Udvidet returret til d. 31. januar 2025

Gentzen Calculi for Modal Propositional Logic - Francesca Poggiolesi - Bog

Bag om Gentzen Calculi for Modal Propositional Logic

The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789400734425
  • Indbinding:
  • Paperback
  • Sideantal:
  • 224
  • Udgivet:
  • 25. januar 2013
  • Udgave:
  • 2011
  • Størrelse:
  • 235x155x12 mm.
  • Vægt:
  • 367 g.
  • 8-11 hverdage.
  • 5. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Gentzen Calculi for Modal Propositional Logic

The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.

Brugerbedømmelser af Gentzen Calculi for Modal Propositional Logic



Find lignende bøger
Bogen Gentzen Calculi for Modal Propositional Logic 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.