Advances in Modal Logic 14
Seit der Antike haben die Philosophen erkannt, dass es Wahrheit in vielen Formen gibt.
Viele „Modi“, so dass ein Satz nicht nur wahr oder falsch sein kann, sondern.
Auch z. B. „notwendig“ oder „möglich“. Diese Ideen führten zu dem modernen Gebiet.
der Modallogik, einem lebendigen Forschungsgebiet an der Schnittstelle von.
Philosophie, Mathematik und Computerwissenschaft.
Heutzutage wird der Begriff „Modallogik“ in einem weiten Sinne verstanden, der.
Sie erlaubt es, über scheinbar unzusammenhängende Phänomene zu argumentieren.
Wie z.B. Wissen, Verpflichtungen, Zeit, Raum und Beweise, neben vielen anderen.
Andere. Die aktuelle Forschung in der Modallogik stützt sich auf Techniken aus vielen.
Disziplinen wie Komplexitätstheorie, Kombinatorik, universelle.
Algebra, Kategorientheorie, Topologie und Beweistheorie.
Dieser Tagungsband enthält die Vorträge der 2022 Advances in.
Modal Logic, einer alle zwei Jahre stattfindenden Konferenzreihe mit dem Ziel, über.
Wichtige neue Entwicklungen in der reinen und angewandten Modallogik. Die Themen.
In dieser Ausgabe sind konstruktive und substrukturelle Modallogik,.
Vereinheitlichung, algebraische und Nachbarschaftssemantik, Beweistheorie und.
Komplexität von Modallogiken und Verifikation in der Modallogik.
| ISBN: | 9781848904132 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
