{"version":"1.0","type":"link","title":"Modal depth - Newikis","description":"In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly and ). Modal formulas without modal operators have a modal depth of zero.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}