{ "item_title" : "Advances in Modal Logic 14", "item_author" : [" David Fernández Duque", "Alessandra Palmigiano", "Sophie Pinchinat "], "item_description" : "Ever since antiquity, philosophers have recognized that truth comes inmany modes, so that a proposition may not only be true or false, butalso e.g. necessary or possible. These ideas led to the modern fieldof modal logic, a lively are of research at the intersection ofphilosophy, mathematics, and computer science.Nowadays, the term modal logic is understood in a broad sense, whichallows it to be used for reasoning about seemingly unrelated phenomenasuch as knowledge, obligations, time, space, and proofs, among manyothers. Actual research in modal logic draws on techniques from manydisciplines including complexity theory, combinatorics, universalalgebra, category theory, topology, and proof theory.These proceedings record the papers presented at the 2022 Advances inModal Logic, a biennial conference series with an aim to report onimportant new developments in pure and applied modal logic. The topicsin this edition include constructive and substructural modal logic,unification, algebraic and neighbourhood semantics, proof theory andcomplexity of modal logics, and verification in modal logic.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/1/84/890/413/1848904134_b.jpg", "price_data" : { "retail_price" : "28.00", "online_price" : "28.00", "our_price" : "28.00", "club_price" : "28.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details