ในตรรกศาสตร์เชิงโมดอลตรรกศาสตร์เชิงโมดอลปกติคือ ตรรกศาสตร์เชิงโมดอลที่ประกอบด้วย (ในฐานะสัจพจน์หรือทฤษฎีบท) ความเป็นคู่ของตัวดำเนินการเชิงโมดอล:

${\displaystyle \Diamond A\leftrightarrow \lnot \Box \lnot A}$

และปิดภายใต้กฎดังกล่าว

${\displaystyle {\frac {(A\land B)\to C}{(\Box A\land \Box B)\to \Box C}}.}$

ตรรกะโมดอลปกติทุกแบบเป็นแบบปกติ และตรรกะโมดอลปกติทุกแบบเป็นแบบคลาสสิก