Преглед на кодот на Регуларна модална логика

Во модалнатаа логика, '''регуларната модална логика L''' е модална логика затворена под двојноста на модалните извршувачи: 

<math>\Diamond A \equiv \lnot\Box\lnot A</math>

и правилото 

<math>(A\land B)\to C \vdash (\Box A\land\Box B)\to\Box C.</math>

Секоја регуларна модална логика е класична, и секоја нормална модална логика е регуларна и оттука и класична. 

== Наводи ==

* Челас, Брајан. ''Modal Logic: An Introduction'' . Cambridge University Press, 1980 година. 
[[Категорија:Логика]]