Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jeremy Ledent is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A simplicial model for KB4n: epistemic logic with agents that may die
Goubault, É., Ledent, J. & Rajsbaum, S., 18 Mar 2022, 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Berenbrink, P. & Monmege, B. (eds.). Dagstuhl, Germany, Vol. 219. p. 33:1--33:20 20 p. 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 219).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile1 Downloads (Pure) -
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
van Ditmarsch, H., Goubault, É., Lazić, M., Ledent, J. & Rajsbaum, S., 30 Jun 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 26 p., 100662.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure)