Klasická modální logika - Classical modal logic
![]() | tento článek potřebuje další citace pro ověření.Leden 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
v modální logika, a klasická modální logika L je jakákoli modální logika obsahující (jako axiom nebo větu) dualita modálních operátorů
což je také Zavřeno pod pravidlem
Alternativně lze uvést dvojí definici L kterými L je klasický iff obsahuje (jako axiom nebo větu)
a je uzavřeno podle pravidla
Nejslabší klasický systém se někdy označuje jako E a je nenormální. Oba algebraický a sémantika sousedství charakterizovat známé klasické modální systémy, které jsou slabší než nejslabší normální modální logika K..
Každý běžná modální logika je klasický a každý normální modální logika je pravidelný, a tedy klasický.
Reference
- Chellas, Brian. Modální logika: Úvod. Cambridge University Press, 1980.
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |