KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Exploring Negation, Modality and Proof
- 12%

Exploring Negation, Modality and Proof 6th Asian Workshop on Philosophical Logic

Aus der Reihe Logic in Asia: Studia Logica Library
12% sparen

173,99 € UVP 197,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2026

Abbildungen

XIV, 364 p. 16 illus.

Herausgeber

Katsuhiko Sano + weitere

Verlag

Springer Singapore

Seitenzahl

364

Maße (L/B/H)

24,1/16/2,6 cm

Gewicht

733 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9685-65-3

Beschreibung

Portrait


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

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2026

Abbildungen

XIV, 364 p. 16 illus.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

364

Maße (L/B/H)

24,1/16/2,6 cm

Gewicht

733 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9685-65-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Exploring Negation, Modality and Proof

  • 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.- Unified Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning.- Composition and Plural Identity.