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

Gentzen Calculi for Modal Propositional Logic

inbunden, 2010
Engelska
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.

ISBN
9789048196692
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2010-12-02
Förlag
Springer
Sidor
224