Exploring Negation, Modality and Proof: 6th Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library) - Hardcover

Hardcover

ISBN 10: 9819685656 ISBN 13: 9789819685653

Publisher: Springer, 2026

Synopsis

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in three major aspects of current research in philosophical logic: negation, modality, and proof. New frameworks are proposed, e.g., meta sequent, unified inductive logic, generalized Clemens semantics, etc. The variety of topics and issues discussed in this volume is of interest to readers from a wide range of disciplines, such as logic, semantics, and computer science, philosophy, linguistics, artificial intelligence, and beyond.

About this title

About the Author

Hiroakira Ono is Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods.

Ryo Hatano is Junior Associate Professor, Tokyo University of Science, Japan. He is engaged in proof-theoretic research on dynamic epistemic logic and its intuitionistic generalizations, as well as machine learning

Katsuhiko Sano is Professor, Faculty of Humanities, Hokkaido University, Japan. His main research interests are modal logic and nonclassical logic, both from a proof-theoretic and a model-theoretic perspective. He is also interested in Alan Turing's thoughts on machines. He received the best paper award at the 5th AWPL

From the Back Cover

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in three major aspects of current research in philosophical logic: negation, modality, and proof. New frameworks are proposed, e.g., meta sequent, unified inductive logic, generalized Clemens semantics, etc. The variety of topics and issues discussed in this volume is of interest to readers from a wide range of disciplines, such as logic, semantics, and computer science, philosophy, linguistics, artificial intelligence, and beyond.

Edition details

• Publisher: Springer
• Publication date: 2026
• Language: English
• ISBN 10: 9819685656
• ISBN 13: 9789819685653
• Binding: Hardcover
• Number of pages: 378
• Editor: Sano Katsuhiko, Hatano Ryo, Ono Hiroakira