WikiDer > Muntazam modal mantiq

Regular modal logic

Yilda modal mantiq, a muntazam modal mantiq L ostida yopilgan modal mantiqdir ikkilik modal operatorlar soni:

${displaystyle Diamond Aequiv lnot Box emas, balki A}$

va qoida

${displaystyle (Aland B) o Cvdash (Box Aland Box B) o S Box.}$

Har qanday muntazam modal mantiq klassikva har bir normal modal mantiq muntazam va shuning uchun klassikdir.

Adabiyotlar

Chellas, Brayan. Modal mantiq: kirish. Kembrij universiteti matbuoti, 1980 yil.

Bu mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.