Logiki zdaniowe wyrażalne przez modalność

Autor omawia logikę, wyrażoną w języku zawierającym — jako pierwotne — spójniki stosowane w logice klasycznej. Jak się jednak okazuje, w logikach tych rozpatrywane stałe nie są spójnikami klasycznymi. Prawdziwa natura owych funktorów objawia się, gdy dokonamy ich tłumaczenia na język modalny.

Omawiane logiki, gdyby rozpatrywać same ich syntaktyczne sformułowania, zdają się nie mieć ze sobą nic wspólnego. Jednakże, dokonując ich translacji na jeden język, odkrywamy ich wspólną istotę. Ta jednolita platforma daje autorowi możliwość stosowania aparatu badawczego z szerokiego asortymentu narzędzi stosowanych w dziedzinie logiki modalnej.