Postępy w logice modalnej, tom 13

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Advances in Modal Logic, Volume 13

Zawartość książki:

Logika zajmuje się podstawowymi pojęciami prawdy i fałszu. Logika modalna powstała z.

Filozoficzne badanie „trybów prawdy” z dwoma najbardziej powszechnymi trybami to „koniecznie prawdziwe” i „możliwie prawdziwe”. Obecnie logika modalna jest wykorzystywana między innymi do rozumowania wiedzy, zobowiązań, programów i czasu.

Rzeczywiste badania nad logiką modalną obejmują filozofię, informatykę i matematykę z wykorzystaniem technik ze struktur relacyjnych, algebry uniwersalnej, topologii i teorii dowodu.

Niniejsze materiały są zapisem referatów zaprezentowanych na konferencji Advances in Modal Logic 2020, odbywającej się co dwa lata serii konferencji, której celem jest informowanie o ważnych nowych osiągnięciach w czystej i stosowanej logice modalnej.

Tematy obejmują rozstrzygalność i złożoność, teorię dowodu, teorię modeli, interpolację, powiązane problemy logiki algebraicznej, a także historię rozumowania modalnego.