Dynamic Epistemic Logic

1. Dinamik bilgisel mantık

2. devingen bilgisel mantık