I'm currently working on Logical Time Theory (Finite Factored Sets put differently and more).
Currently, this is mainly extending the framework to the infinite setting, decidability of finite temporal inference, and efficient finite temporal inference.
If you are good at Maths and Probability Theory and want to work with me, shoot me a message!
If you are a distiller who understands Maths and wants to help me publish my results, you can write me a message.