Sekwentowe i założeniowe formalizacje zadaniowych logik modalnych

Abstract

Celem dysertacji jest, w miarę kompletne, przedstawienie problematyki nieaksjomatycznych formalizacji zdaniowych logik modalnych. Użyte w tytule określenia "założeniowe" i "sekwentowe" wskazują w sposób przybliżony do jakiego rodzaju formalizacji poniższa prezentacja się ogranicza. Obecnie, w logice używa się wielu różnych metod dowodzenia, warto jednak zauważyć, że nie istnieje jakiś ogólnie uznawany podział, brakuje nawet konsekwentnie stosowanej terminologii. Zasięg stosowalności omawianych metod ograniczono do tzw. regularnych logik modalnych, chociaż główny nacisk położono na najlepiej zbadaną rodzinę logik normalnych. Zasadniczo praca dotyczy logik a/etycznych, z jednym rodzajem modalności (wyróżnioną rolę pełni funktor konieczności).