Advances in Modal Logic 14
Advances in Modal Logic 14
Buch
- Herausgeber: David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat
- College Publications, 07/2022
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9781848904132
- Bestellnummer: 11022493
- Umfang: 754 Seiten
- Gewicht: 1124 g
- Maße: 234 x 156 mm
- Stärke: 40 mm
- Erscheinungstermin: 19.7.2022
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
Ever since antiquity, philosophers have recognized that truth comes inmany "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.