Why do you associate a rank with each modal agent? It looks like it’s designed to prevent situations where there are 2 modal agents X and Y such that X tests its opponent against Y and Y tests its opponent against X, but why do such situations need to be avoided? Doesn’t the diagonal lemma make them possible?
Why do you associate a rank with each modal agent? It looks like it’s designed to prevent situations where there are 2 modal agents X and Y such that X tests its opponent against Y and Y tests its opponent against X, but why do such situations need to be avoided? Doesn’t the diagonal lemma make them possible?
I want it to be decidable whether a given agent is modal or not.