13 citations · 25 across the 6 of their papers we have counts for
1 paper · 1 filter
Philippe Balbiani, David Fernández-Duque, Andreas Herzig +1
We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal f…