 | Volume15: Advances in Modal Logic
Agata Ciabattoni, David Gabelaia and Igor Sedlár, eds
Since ancient times, philosophers have recognised that truth comes in
many 'modes', so that a proposition can be not only true or false, but
also, for example, 'necessary' or 'possible'. These ideas led to the
modern field of modal logic, a lively area of research at the interface
of philosophy, mathematics and computer science.
Nowadays, the term 'modal logic' is understood in a broad sense,
allowing it to encompass logics for reasoning about seemingly unrelated
phenomena such as knowledge, obligations, time, space, and proofs, among
many others. Contemporary 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 Advances in Modal Logic
2024, the 15th in a series of biennial conferences that aim to report on
important new developments in pure and applied modal logic. Topics in
this issue include epistemic modal logic, constructive and many-valued
modal logic, unification, algebraic and neighbourhood semantics, proof
theory and complexity of modal logics, conditional and quantified modal
logic.
1 August 2024
978-1-84890-467-5
|
Back
