Dr Jeremy Ledent

Research Associate

Computer and Information Sciences

Publications

A simplicial model for KB4n : epistemic logic with agents that may die
Goubault Éric, Ledent Jérémy, Rajsbaum Sergio
39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) 39th International Symposium on Theoretical Aspects of Computer Science Leibniz International Proceedings in Informatics, LIPIcs Vol 219, pp. 33:1--33:20 (2022)
https://doi.org/10.4230/LIPIcs.STACS.2022.33
A quantitative model for simply typed λ-calculus
Hofmann Martin, Ledent Jérémy
Mathematical Structures in Computer Science (2021)
https://doi.org/10.1017/S0960129521000256
Brief announcement : variants of approximate agreement on graphs and simplicial complexes
Ledent Jérémy
PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing ACM Symposium on Principles of Distributed Computing, pp. 427–430 (2021)
https://doi.org/10.1145/3465084.3467946
Translating extensive form games to open games with agency
Capucci Matteo, Ghani Neil, Ledent Jérémy, Nordvall Forsberg Fredrik
Applied Category Theory 2021 (2021)
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
van Ditmarsch Hans, Goubault Éric, Lazić Marijana, Ledent Jérémy, Rajsbaum Sergio
Journal of Logical and Algebraic Methods in Programming Vol 121 (2021)
https://doi.org/10.1016/j.jlamp.2021.100662
Two-agent approximate agreement from an epistemic logic perspective
Ledent Jeremy, Rajsbaum Sergio, Armenta-Segura Jorge
Thirteenth Latin American Workshop on New Methods of Reasoning 2020 (2020)

More publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map