The current state of the project can be found here: Overleaf.
If I will be particularly satisfied with the outcome of the paper I will consider submitting it to the Dynamic Logic Conference (or ECSQARU 2025) by the 31st January 2025. If I will decide to do so, I will need to update my PhD Applications in the US & PhD Applications in the EU & UK.
Literature
Before writing down any of the claims I have on the topic, I find a list of papers I want to read to have a clear and concrete idea of the current developments in the field.