|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Proof Theory of Modal Logic (Hardcover, 1996 ed.)
Loot Price: R4,541
Discovery Miles 45 410
|
|
|
Proof Theory of Modal Logic (Hardcover, 1996 ed.)
Series: Applied Logic Series, 2
Expected to ship within 12 - 17 working days
|
This volume deals with formal, mechanizable reasoning in modal
logics, that is, logics of necessity, possibility, belief, time
computations etc. It is therefore of immense interest for various
interrelated disciplines such as philosophy, AI, computer science,
logic, cognitive science and linguistics. The book consists of 15
original research papers, divided into three parts. The first part
contains papers which give a profound 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
