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!