Monografia Zofii Kostrzyckiej „On Modal Systems in the Neighborhood of the Brouwer Logic” poświęcona jest interesującej klasie zdaniowych normalnych logik modalnych, będących wzmocnieniami ligiki KTB, czyli tzw. logiki B (od nazwiska Brouwera). Analizowana w pracy klasa rachunków to logiki tworzące łańcuch wzmocnień nad B zamknięty od góry logiką S5 = T1. W sensie semantycznym są one charakteryzowane przez klasy struktur relacyjnych, w których relacja osiągalności, oprócz zwrotności i symetrii, ma własność n-przechodniości. Klasa ta została zidentyfikowana przez I. Thomasa w latach 60., a następnie badana m.in. przez T. Kowalskiego i Y. Miyazaki. Praca dr Z. Kostrzyckiej to podsumowanie tych badań oraz ich istotne wzmocnienie uzyskanymi wynikami własnymi. Jest to wyczerpująca monografia tematu, przy czym na uwagę zasługuje sprawność autorki w posługiwaniu się formalnym aparatem wykorzystywanym współcześnie w badaniach nad logikami modalnymi.
Powrót
