Fortschritte in der Modallogik 14

Fortschritte in der Modallogik 14 (David Fernndez Duque)

Originaltitel:

Advances in Modal Logic 14

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848904132
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Fortschritte in der Modallogik 14 - Advances in Modal Logic 14
Seit der Antike haben die Philosophen erkannt, dass es Wahrheit in vielen Formen...
Fortschritte in der Modallogik 14 - Advances in Modal Logic 14

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)