Modal depth
In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly ◻ {\displaystyle \Box } and ◊ {\displaystyle \Diamond } ). Modal formulas without modal operators have a modal depth of zero.
In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly ◻ {\displaystyle \Box } and ◊ {\displaystyle \Diamond } ). Modal formulas without modal operators have a modal depth of zero.
In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly ◻ {\displaystyle \Box } and ◊ {\displaystyle \Diamond } ). Modal formulas without modal operators have a modal depth of zero.
Source: Wikipedia "Modal depth" · CC BY-SA 4.0
Share this article: X · Bluesky