Description
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.
Author: David Fernández Duque
Publisher: College Publications
Published: 07/19/2022
Pages: 754
Binding Type: Paperback
Weight: 2.29lbs
Size: 9.21h x 6.14w x 1.50d
ISBN13: 9781848904132
ISBN10: 1848904134
BISAC Categories:
- Mathematics | Logic
- Philosophy | Logic
This title is not returnable