Abstract | ||
---|---|---|
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence logic coincide. Finally we establish that any translation from extended modal dependence logic into modal logic with intuitionistic disjunction increases the size of some formulas exponentially. |
Year | Venue | DocType |
---|---|---|
2014 | Advances in Modal Logic 2006 | Journal |
Volume | Citations | PageRank |
abs/1406.6266 | 14 | 0.69 |
References | Authors | |
7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lauri Hella | 1 | 331 | 35.67 |
Kerkko Luosto | 2 | 80 | 7.58 |
Katsuhiko Sano | 3 | 14 | 0.69 |
Jonni Virtema | 4 | 79 | 11.93 |