ในตรรกศาสตร์ตรรกศาสตร์เชิงโมดอลปกติคือเซตLของสูตรเชิงโมดอล โดยที่Lประกอบด้วย:

• สัจนิรันดร์เชิงประพจน์ทั้งหมด;
• ตัวอย่างทั้งหมดของ สคีมา Kripke :${\displaystyle \Box (A\to B)\to (\Box A\to \Box B)}$

และถูกปิดเนื่องจาก:

• กฎการปลด ( modus ponens ): หมายถึง;${\displaystyle A\to B,A\in L}$${\displaystyle B\in L}$
• กฎความจำเป็น: หมายความว่า.${\displaystyle A\in L}$${\displaystyle \Box A\in L}$

ตรรกะที่เล็กที่สุดที่ตรงตามเงื่อนไขข้างต้นเรียกว่าKตรรกะเชิงโมดอลส่วนใหญ่ที่ใช้กันทั่วไปในปัจจุบัน (ในแง่ของแรงจูงใจทางปรัชญา) เช่นS4 และS5 ของ CI Lewisเป็นตรรกะปกติ (และดังนั้นจึงเป็นส่วนขยายของK ) อย่างไรก็ตาม ตรรกะเชิงจริยธรรมและ เชิงญาณวิทยา จำนวนหนึ่งตัวอย่างเช่น ไม่ใช่ตรรกะปกติ มักเป็นเพราะพวกมันละทิ้งแบบแผนของ Kripke

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

ตารางต่อไปนี้แสดงรายการระบบโมดอลปกติทั่วไปหลายระบบ สัญลักษณ์ที่ใช้หมายถึงตารางในKripke semantics § Common modal axiom schemataเงื่อนไขเฟรมสำหรับบางระบบได้รับการทำให้ง่ายขึ้น: ตรรกะมีความถูกต้องและสมบูรณ์เมื่อเทียบกับคลาสเฟรมที่ระบุในตาราง แต่ระบบเหล่านั้นอาจสอดคล้องกับคลาสเฟรมที่ใหญ่กว่าได้

ชื่อ	สัจพจน์	สภาพเฟรม
เค	—	เฟรมทั้งหมด
ที	ที	สะท้อนกลับ
เค4	4	สกรรมกริยา
ซี4	ที, 4	สั่งซื้อล่วงหน้า
เอส5	ที, 5 หรือ ดี, บี, 4	ความสัมพันธ์สมมูล
S4.3	ที, 4, ฮ	ยอดสั่งซื้อล่วงหน้าทั้งหมด
S4.1	ที, 4, เอ็ม	สั่งซื้อล่วงหน้าและ${\displaystyle \forall w\,\exists u\,(w\,R\,u\land \forall v\,(u\,R\,v\Rightarrow u=v))}$
S4.2	ที, 4, จี	สั่งซื้อ ล่วงหน้าโดยตรง
GL , K4W	GL หรือ 4, GL	ลำดับบางส่วนที่เข้มงวดจำกัด
Grz, S4Grz	Grz หรือ T, 4, Grz	ลำดับบางส่วนจำกัด
ดี	ดี	ซีเรียล
ดี45	ดี, 4, 5	เชิงถ่ายทอด เชิงอนุกรม และเชิงยุคลิด