Exploring Negation, Modality and Proof
6th Asian Workshop on Philosophical Logic
Series: Logic in Asia: Studia Logica Library;
- Publisher's listprice EUR 192.59
-
79 876 Ft (76 073 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 9 585 Ft off)
- Discounted price 70 291 Ft (66 944 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
79 876 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Singapore
- Date of Publication 15 December 2025
- Number of Volumes 1 pieces, Book
- ISBN 9789819685653
- Binding Hardback
- No. of pages368 pages
- Size 235x155 mm
- Language English
- Illustrations XII, 368 p. 19 illus. Illustrations, black & white 700
Categories
Long description:
"
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.
" MoreTable of Contents:
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.
More
