Exploring Negation, Modality and Proof

6th Asian Workshop on Philosophical Logic

Katsuhiko Sano, Ryo Hatano, Hiroakira Ono (Herausgeber)

Buch | Hardcover

368 Seiten

2026
Springer Nature Switzerland AG (Verlag)
978-981-96-8565-3 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

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

There are (other) ways to negate in propositional team semantics.- A note on negation in the operational semantics for relevant logic.- Ignorance and the possibility of error in relevant epistemic logic.- Mereological Forcing.- Arbitrary objects in a bilateral setting.- Measurement-Theoretic Foundations of Logic of Epistemic Modals.- Perspective Shifts: Formalizing Epistemic Might in Multi-agent Models.- This Time As Grandfather.- Complete and Terminating Tableau Calculus for Undirected Graph.- Strict Truth, Tolerant Truth, and Generalized Strict-Tolerant Logics.- Variations of Axioms K and S in Substructural Logics.- Leśniewski's Ontology Satisfies Interpolation.- Proof construction style representation of cut-elimination.- Invitation to Constructive Nonreflexive and Nontransitive Logics.- A Proof-Theoretic Approach to the Binding Problem.- Conservative Imaging and AGM Postulates.- Uniﬁed Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning.- Composition and Plural Identity.

Erscheinungsdatum	13.06.2025
Reihe/Serie	Logic in Asia: Studia Logica Library
Zusatzinfo	19 Illustrations, black and white
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	epistemic logic • Formal Semantics • Inductive Logic • Lesniewski's Ontology • Many-valued Logic • Mereology • Non-monotonic logic • paraconsistent logic • Proof theory • Relevance and Substructural Logic
ISBN-10	981-96-8565-6 / 9819685656
ISBN-13	978-981-96-8565-3 / 9789819685653
Zustand	Neuware