[[Modal logic|Modal]] accounts of logical consequence are variations on the following basic idea:
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> is true if and only if it is เป็นจริงก็ต่อเมื่อมัน''necessaryจำเป็น'' that if all of the elements ofที่หากสมาชิกของ <math>\Gamma</math> areทั้งหมดเป็นจริง true, thenแล้ว <math>A</math> is true.เป็นจริง
Alternatively (and, most would say, equivalently):
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> is true if and only if it is เป็นจริงก็ต่อเมื่อมัน''impossibleเป็นไปไม่ได้'' for all of the elements ofที่สมาชิกของ <math>\Gamma</math> to be trueทั้งหมดเป็นจริง andแล้ว <math>A</math> false.เป็นเท็จ
Such accounts are called "modal" because they appeal to the modal notions of [[Logical truth|logical necessity]] and [[logical possibility]]. 'It is necessary that' is often expressed as a [[universal quantification|universal quantifier]] over [[possible world]]s, so that the accounts above translate as:
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> is true if and only if there is no possible world at which all of the elements ofเป็นจริงก็ต่อเมื่อไม่มีโลกที่เป็นไปได้ที่สมาชิกของ <math>\Gamma</math> areทั้งหมดเป็นจริง true andแล้ว <math>A</math> is falseเป็นเท็จ (untrueไม่จริง).
Consider the modal account in terms of the argument given as an example above: