Gentzen Calculi for Modal Propositional Logic by Francesca Poggiolesi
The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.-
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
-
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
-
Displaying Modal Logic
-
Reasoning in Quantum Theory
-
Fuzzy Logic
-
Trends in Logic
From the reviews:
“This book is mainly devoted to an extensive presentation of the author’s original formalisation of modal logics called tree-hypersequent calculus but other approaches are also discussed at length… This book is a valuable contribution to the subject of proof techniques for modal logics. The presentation is clear with a detailed but readable account of technical details.” (Andrzej B. Indrzejczak, Mathematical Reviews, August, 2013)| SKU | Unavailable |
| ISBN 13 | 9789400734425 |
| ISBN 10 | 9400734425 |
| Title | Gentzen Calculi for Modal Propositional Logic |
| Author | Francesca Poggiolesi |
| Series | Trends In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2013-01-27 |
| Number of pages | 224 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |