26 696
úprav
d (preklepy) |
(🙂) |
||
'''Modálna logika''' je odvetvie [[logika|logiky]], ktoré skúma logickú štruktúru ''nutnosti'' a ''možnosti'', s ktorými klasická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok
:
je z
V užšom význame pojem '''modálna logika''' označuje konkrétny [[logický kalkul]] študovaný v rámci modálnej logiky vo vyššie uvedenom zmysle. Tak napríklad kalkul [[K (modálna logika)|K]] tiež známy ako ''normálna modálna logika'' alebo kalkuly [[S4 (modálna logika)|S4]] a [[S5 (modálna logika)|S5]] sú modálne logiky.
|
úprav