Advances in Modal Logic 14 - Softcover

 
9781848904132: Advances in Modal Logic 14
Softcover
ISBN 10: 1848904134 ISBN 13: 9781848904132
Verlag: College Publications, 2022

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
College Publications
Erscheinungsdatum
2022
Sprache
Englisch
ISBN 10 
1848904134
ISBN 13 
9781848904132
Einband
Taschenbuch
Anzahl der Seiten
754
Herausgeber
Fernández Duque David, Palmigiano Alessandra, Pinchinat Sophie
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland