---
tag: A00QJX2RS4
kind: concept
name: Modal depth
sources:
  - wikipedia: en:25312886@r1281458696
    locator: Modal depth
    note: adopted
    mention: wikipedia://en/25312886
    sections: [Summary]
same_as:
  wikidata: Q6888006
  wikipedia: Modal depth
inventory: [EJC0GE3JCV]
---

## Summary

In modal logic, the **modal depth** of a formula is the deepest nesting of modal operators (commonly $\Box$ and $\Diamond$). Modal formulas without modal operators have a modal depth of zero.