Displaying Modal Logic by Heinrich Wansing
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.-
Modal Semirings and Applications
-
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
-
Graph Games and Logic Design
-
Logic and Fixed-Domain Reasoning
-
Algebraic Probabilistic Consistency
-
Inquisitive Logic
-
New Directions in Relevant Logic
-
Logics of Variable Inclusion
-
Heyting Algebras
-
Recent Trends in Philosophical Logic
-
Harmony and Paradox
-
60 Years of Connexive Logic
-
Logic and Implication
-
Anaphora and Type Logical Grammar
-
Contradictions, from Consistency to Inconsistency
-
Advanced ukasiewicz calculus and MV-algebras
-
Advances in Natural Deduction
-
Gentzen Calculi for Modal Propositional Logic
-
Truth and Falsehood
-
Quantum Computation and Logic
-
Foundations of the Theory of Parthood
-
Sheaves, Games, and Model Completions
-
Meaning and Proscription in Formal Logic
-
Toward Predicate Approaches to Modality
-
Dual Tableaux: Foundations, Methodology, Case Studies
-
Advances in Proof-Theoretic Semantics
-
Model Theory: The Algebraic Basics
-
Le Niewski's Systems of Logic and Foundations of Mathematics
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning
-
Philosophy of Syntax
-
Descriptor Revision
-
Topological and Algebraic Structures in Fuzzy Sets
-
Dialetheism and its Applications
-
Protoalgebraic Logics
-
Towards Mathematical Philosophy
-
Reasoning in Quantum Theory
-
Fuzzy Logic
-
Trends in Logic
Heinrich Wansing is a professor of logic and epistemology at the Ruhr University Bochum (Germany). He is known for his work in philosophical logic, including the semantics and proof theory of modal, constructive, paraconsistent, many-valued and other non-classical logics. Moreover, he is the editor-in-chief of the book series Trends in Logic (Springer)
| SKU | Unavailable |
| ISBN 13 | 9789048150793 |
| ISBN 10 | 9048150795 |
| Title | Displaying Modal Logic |
| Author | Heinrich Wansing |
| Series | Trends In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-12-05 |
| Number of pages | 252 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |