Gå direkt till innehållet
Gentzen Calculi for Modal Propositional Logic
Spara

Gentzen Calculi for Modal Propositional Logic

Lägsta pris på PriceRunner

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.

Upplaga
2011 ed.
ISBN
9789400734425
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-01-27
Förlag
Springer
Sidor
224