User:SomeLogician

Hello! I am just a logician/mathematician. Generally curious about things :)

Planning to work on the following articles:

• Reactive synthesis

Heavily worked on the following articles:

• Kamp's theorem
• Gabbay's separation theorem
• Van Benthem's theorem