Аналитические таблицы для пропозициональной модальной логики - Программирование: Логика таблицы по примеру