Модална логика
Модална логика (от лат. modus - метод, мярка) - логика, в която освен стандартни логически съединителни елементи, променливи и/или предикати има модалности (модални оператори).
Съдържание
Официалната логика може да бъде опростена до верига истинско знание→ процес → заключения.
Къде да взема истинско знание за официални логики, макар и само единични истинско знание универсален.
Логиката трябва да реагира на реални житейски ситуации и универсални истини Малко.
Модалната логика в широк смисъл действа:
- знания
- предположения (това, което не знаем)
- въпроси (отчасти в логиката на знанието)
- задачи (какво да направя, за да придобия знания) [уточни]