Wolfson Building, Parks Road, Oxford OX1 3QD
logic and programming languages
I am currently a first-year DPhil student in computer science at University of Oxford under the supervision of Professors Andrzej Murawski and Luke Ong. Previously, I graduated from Tsinghua University with a double bachelor degree in computer science and philosophy advised by Professors Johan van Benthem and Fenrong Liu. I also worked on an internship with Dr Georg Zetzsche at MPI-SWS.
Hybrid sabotage modal logic
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Journal of Logic and Computation. 2022.
Details about Hybrid sabotage modal logic | BibTeX data for Hybrid sabotage modal logic | DOI (10.1093/logcom/exac006) | Link to Hybrid sabotage modal logic