Proof Theory of Modal Logic

by Heinrich Wansing

2020-09-19 14:27:17

Compare Price
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. It contains many new technical results and presentations of novel proo... Read more
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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages327
PublisherSpringer Netherlands
Publication date June 29, 2013
Languageeng
ISBN9789401727983

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 285.95
eBooks.com In Stock PDF (drm free, digitally watermarked) PDF (drm free, digitally watermarked) Buy AUD 269.00
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 285.95
eBooks.comIn Stock
Format
PDF (drm free, digitally watermarked)
Condition
PDF (drm free, digitally watermarked)
Buy AUD 269.00
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free