Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Modal depth
open-in-new
<p>In <a href="/facts/Modal_logic/I7uXvYYT">modal logic</a>, the modal depth of a formula is the deepest nesting of <a href="/facts/Modal_operator/UHtpPLuH">modal operators</a> (commonly ◻ {\displaystyle \Box } and ◊ {\displaystyle \Diamond } ). Modal formulas without modal operators have a modal depth of zero. </p>