Proof Theory of Modal Logic Image close
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Show Hide Adult Content
Proof Theory of Modal Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Proof Theory of Modal Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$441.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $110.25 with Afterpay Learn more

6 weekly interest-free payments of $73.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Applied Logic Series

See all products in this series

Goal-Directed Proof Theory on Hardback by Dov M Gabbay
$290.00
Goal-Directed Proof Theory
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Frontiers in Belief Revision on Hardback
$448.00
Frontiers in Belief Revision
Hardback
Available - Usually ships in 3-4 weeks
Fallacies Arising from Ambiguity on Hardback by Douglas Walton
$519.00
Fallacies Arising from Ambiguity
by Douglas Walton ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory of Modal Logic on Hardback
$460.00
Proof Theory of Modal Logic
Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Mathematical Logic and Type Theory on Hardback by Peter B. Andrews
$370.00
An Introduction to Mathematical Logic and Type Theory
by Peter B. Andrews ~ Hardback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory on Hardback by Rob Nederpelt
$521.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics on Hardback by George Metcalfe
$356.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Hardback
Available - Usually ships in 3-4 weeks
Labelled Deduction
$288.00
Labelled Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory by Rob Nederpelt
$365.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Logic and its Proof-Theory by Torben Brauner
$287.00
Hybrid Logic and its Proof-Theory
by Torben Brauner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Rational Agency
$443.00
Foundations of Rational Agency
Paperback / softback
Available - Usually ships in 3-4 weeks
The Death of Argument on Hardback by J.H. Woods
$446.00
The Death of Argument
by J.H. Woods ~ Hardback
Available - Usually ships in 3-4 weeks
Advances in Intensional Logic
$440.00
Advances in Intensional Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Reasoning Robots on Hardback by Michael Thielscher
$153.00
Reasoning Robots
by Michael Thielscher ~ Hardback
Available - Usually ships in 3-4 weeks
Fuzzy Sets, Logics and Reasoning about Knowledge on Hardback
$447.00
Fuzzy Sets, Logics and Reasoning about Knowledge
Hardback
Available - Usually ships in 3-4 weeks
Abduction and Induction on Hardback
$444.00
Abduction and Induction
Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
December 9th, 2010
Audience
  • Professional & Vocational
Contributor
  • Edited by Heinrich Wansing
Edition
Softcover reprint of hardcover 1st ed. 1996
Illustrations
X, 318 p.
Pages
318
Dimensions
155x235x17
ISBN-13
9789048147205
Product ID
8963174

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Artificial intelligence