Proof Theory of Modal Logic (Applied Logic #2)

Heinrich Wansing (Editor)

$195.49

This product is not returnable.

Publication Date: October 31st, 1996

Publisher:

Springer

ISBN:

9780792341208

Pages:

318

Available in 3-7 business days

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.

Proof Theory of Modal Logic (Applied Logic #2)

Description

Other Books in Series

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)

Bounded Queries in Recursion Theory (Progress in Computer Science and Applied Logic #16)

New Essays in Free Logic: In Honour of Karel Lambert (Applied Logic #23)

Proof Theory for Fuzzy Logics (Applied Logic #36)

Advances in Proof Theory (Progress in Computer Science and Applied Logic #28)

Foundations of Rational Agency (Applied Logic #14)

Foundations of Bayesianism (Applied Logic #24)

An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)

An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)

Foundations of Rational Agency (Applied Logic #14)

Multi-Dimensional Modal Logic (Applied Logic #4)

Abduction and Induction: Essays on Their Relation and Integration (Applied Logic #18)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic #10)

Proof Theory and Automated Deduction (Applied Logic #6)

Fallacies Arising from Ambiguity (Applied Logic #1)

What Is Negation? (Applied Logic #13)

Labelled Deduction (Applied Logic #17)

Multi-Dimensional Modal Logic (Applied Logic #4)

Shape: The Hidden Geometry of Information, Biology, Strategy, Democracy, and Everything Else

Once Upon a Prime: The Wondrous Connections Between Mathematics and Literature

Reading: Joan Naviyuk Kane

Proof Theory of Modal Logic (Applied Logic #2)

Description

Other Books in Series

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)

Bounded Queries in Recursion Theory (Progress in Computer Science and Applied Logic #16)

New Essays in Free Logic: In Honour of Karel Lambert (Applied Logic #23)

Proof Theory for Fuzzy Logics (Applied Logic #36)

Advances in Proof Theory (Progress in Computer Science and Applied Logic #28)

Foundations of Rational Agency (Applied Logic #14)

Foundations of Bayesianism (Applied Logic #24)

An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)

An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)

Foundations of Rational Agency (Applied Logic #14)

Multi-Dimensional Modal Logic (Applied Logic #4)

Abduction and Induction: Essays on Their Relation and Integration (Applied Logic #18)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic #10)

Proof Theory and Automated Deduction (Applied Logic #6)

Fallacies Arising from Ambiguity (Applied Logic #1)

What Is Negation? (Applied Logic #13)

Labelled Deduction (Applied Logic #17)

Multi-Dimensional Modal Logic (Applied Logic #4)

You May Also Like

Shape: The Hidden Geometry of Information, Biology, Strategy, Democracy, and Everything Else

Once Upon a Prime: The Wondrous Connections Between Mathematics and Literature

Keep In Touch

Reading: Joan Naviyuk Kane