The following pages link to (Q5483001):
Displaying 4 items.
- A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
- Some comments on history based structures (Q2475431) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
