Proof Theory of Modal Logic Image close
Proof Theory of Modal Logic on Hardback
Proof Theory of Modal Logic on Hardback
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:

Hardback
$466.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 $116.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Applied Logic Series

See all products in this series

Goal-Directed Proof Theory on Hardback by Dov M Gabbay
$294.00
Goal-Directed Proof Theory
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Proof Theory for Fuzzy Logics on Hardback by George Metcalfe
$360.00
Proof Theory for Fuzzy Logics
by George Metcalfe ~ Hardback
Available - Usually ships in 3-4 weeks
The Death of Argument on Hardback by J.H. Woods
$451.00
The Death of Argument
by J.H. Woods ~ Hardback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory on Hardback by Rob Nederpelt
$527.00
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Hardback
Available - Usually ships in 3-4 weeks
Fallacies Arising from Ambiguity on Hardback by Douglas Walton
$525.00
Fallacies Arising from Ambiguity
by Douglas Walton ~ Hardback
Available - Usually ships in 3-4 weeks
Frontiers in Belief Revision on Hardback
$453.00
Frontiers in Belief Revision
Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Mathematical Logic and Type Theory on Hardback by Peter B. Andrews
$375.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 by Rob Nederpelt
$370.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
$290.00
Hybrid Logic and its Proof-Theory
by Torben Brauner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Rational Agency
$448.00
Foundations of Rational Agency
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Intensional Logic
$445.00
Advances in Intensional Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Labelled Deduction
$291.00
Labelled Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Abduction and Induction on Hardback
$449.00
Abduction and Induction
Hardback
Available - Usually ships in 3-4 weeks
Fuzzy Sets, Logics and Reasoning about Knowledge on Hardback
$452.00
Fuzzy Sets, Logics and Reasoning about Knowledge
Hardback
Available - Usually ships in 3-4 weeks
Logical and Computational Aspects of Model-Based Reasoning on Hardback
$314.00
Logical and Computational Aspects of Model-Based Reasoning
Hardback
Available - Usually ships in 3-4 weeks
Thirty Five Years of Automating Mathematics on Hardback
$295.00
Thirty Five Years of Automating Mathematics
Hardback
Available - Usually ships in 3-4 weeks

Description

Consisting of 15 research papers, this text deals with formal, mechanizable reasoning in modal logics. It brings together various directions in the development of generalized sequent-style proof systems. The first part contains papers which give a description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic.
Release date NZ
October 31st, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributor
  • Edited by Heinrich Wansing
Illustrations
X, 318 p.
Pages
318
Dimensions
155x235x19
ISBN-13
9780792341208
Product ID
2051422

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 >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Artificial intelligence