Haoxuan Yin : Publications
-
[11]
Contextual MetaML: Syntax and Full Abstraction
Haoxuan Yin‚ Andrzej S. Murawski and C.−H. Luke Ong
In Claudia Faggian and Joost−Pieter Katoen, editors, 41st Annual Symposium on Logic in Computer Science (LICS 2026). Vol. 380 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 83:1–83:27. Dagstuhl‚ Germany. 2026. Schloss Dagstuhl – Leibniz−Zentrum für Informatik.
Details about Contextual MetaML: Syntax and Full Abstraction | BibTeX data for Contextual MetaML: Syntax and Full Abstraction | DOI (10.4230/LIPIcs.LICS.2026.83) | Link to Contextual MetaML: Syntax and Full Abstraction
-
[21]
Hybrid sabotage modal logic
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Journal of Logic and Computation. Vol. 33. No. 6. Pages 1216−1242. 2023.
Details about Hybrid sabotage modal logic | BibTeX data for Hybrid sabotage modal logic | DOI (10.1093/logcom/exac006) | Link to Hybrid sabotage modal logic
-
[31]
Hybrid Sabotage Modal Logic in Perspective
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Johan van Benthem and Fenrong Liu, editors, Graph Games and Logic Design: Recent Developments and Further Directions. Pages 103–129. Springer Nature Switzerland, Cham. 2026.
Details about Hybrid Sabotage Modal Logic in Perspective | BibTeX data for Hybrid Sabotage Modal Logic in Perspective | DOI (10.1007/978-3-031-91361-7_5) | Link to Hybrid Sabotage Modal Logic in Perspective