Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". These ideas led to the modern field of modal logic, a lively are of research at the intersection of philosophy, mathematics, and computer science. Nowadays, the term "modal logic" is understood in a broad sense, which allows it to be used for reasoning about seemingly unrelated phenomena such as knowledge, obligations, time, ...
Read More
Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". These ideas led to the modern field of modal logic, a lively are of research at the intersection of philosophy, mathematics, and computer science. Nowadays, the term "modal logic" is understood in a broad sense, which allows it to be used for reasoning about seemingly unrelated phenomena such as knowledge, obligations, time, space, and proofs, among many others. Actual research in modal logic draws on techniques from many disciplines including complexity theory, combinatorics, universal algebra, category theory, topology, and proof theory. These proceedings record the papers presented at the 2022 Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic. The topics in this edition include constructive and substructural modal logic, unification, algebraic and neighbourhood semantics, proof theory and complexity of modal logics, and verification in modal logic.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 754 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 754 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.