If you made any changes in Pure these will be visible here soon.

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 proceedingConference contribution book

    Open Access
    File
    1 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 journalArticlepeer-review

    Open Access
    File
    1 Downloads (Pure)