User:Alvinz

Hi there, I'm Alvin. I was active on Chinese Wikipedia in 2017 when I contributed to 40 articles, 1 of which has been rated as a good article and 6 of which was featured on the Main Page in the Did You Know? section.

Contributions
I started contributing to English Wikipedia on topics regarding logic in computer science in 2023.

Articles

 * Non-normal modal logic
 * Counterexample-guided abstraction refinement
 * Modal clausal form