Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Modal depth

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
As part of a general research programme into the expressive power of different generalisations of the sequent framework we… Expand
  • table 1
  • table 2
  • figure 1
  • table 5
Is this relevant?
2015
2015
We construct, for any sentence of the modal mu calculus Psi, derived sentences in the modal fragment and the fragment without… Expand
Is this relevant?
2014
2014
Scientific models are often said to be more or less general depending on how many cases they cover. In this paper we argue that… Expand
Is this relevant?
2012
2012
In many applications, agents must reason about what other agents know, whether to coordinate with them or to come out on top in a… Expand
Is this relevant?
2012
2012
Self-reference has been recognized as a useful feature in description logics but is known to cause substantial problems with… Expand
Is this relevant?
2010
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 3
Is this relevant?
2009
2009
We give a complete axiomatization for the modal μ-calculus on finite trees. While the completeness of our axiomatization already… Expand
Is this relevant?
2009
2009
GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
At the largest known Emperor Penguin colony, we determined general features of Emperor Penguin foraging commutes. The time… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?