Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Advances in Modal Logic, Volume 13
Die Logik befasst sich mit den grundlegenden Begriffen von Wahrheit und Falschheit. Die Modallogik entstand aus der.
Philosophische Untersuchung der „Wahrheitsmodi“, wobei die beiden gängigsten Modi „unbedingt wahr“ und „möglicherweise wahr“ sind. Heutzutage wird die Modallogik u. a. verwendet, um über Wissen, Verpflichtungen, Programme und Zeit nachzudenken.
Die aktuelle Forschung auf dem Gebiet der Modallogik erstreckt sich über die Bereiche Philosophie, Informatik und Mathematik, wobei Techniken aus den Bereichen relationale Strukturen, universelle Algebra, Topologie und Beweistheorie eingesetzt werden.
Dieser Tagungsband enthält die Beiträge der Konferenz Advances in Modal Logic 2020, einer alle zwei Jahre stattfindenden Konferenzreihe mit dem Ziel, über wichtige neue Entwicklungen in der reinen und angewandten Modallogik zu berichten.
Die Themen umfassen Ergebnisse zur Entscheidbarkeit und Komplexität, Beweistheorie, Modelltheorie, Interpolation, verwandte Probleme in der algebraischen Logik sowie die Geschichte des modalen Denkens.