Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by Katsuhiko Sano , Ryo Hatano , Hiroakira Ono
Save 35% Save 35%
Current price ₹14,411.00
Original price ₹22,170.00
Original price ₹22,170.00
Original price ₹22,170.00
(-35%)
₹14,411.00
Current price ₹14,411.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9789819685653
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 378
  • Original Price: EUR 196.19
  • Language: English
  • Edition: N/A
  • Item Weight: 629 grams
  • BISAC Subject(s): Logic

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.- Lesniewski'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.

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

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us