( en | de | ru )

 

Disambiguation of "Ledent, Jérémy"

Author of the publication

copydeleteadd this publication to your clipboard
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

, , , , and . Journal of Logical and Algebraic Methods in Programming, (2021)#journal.
DOI: https://doi.org/10.1016/j.jlamp.2021.100662

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jérémy Bluteau

Jérémy Fix

Jérémy Planul

Jérémy Huart

Jérémy Milhau

 

Other publications of authors with the same name

Geometric semantics for asynchronous computability. (Sémantique géométrique pour la calculabilité asynchrone).. University of Paris-Saclay, France, (2019)Two-Agent Approximate Agreement from an Epistemic Logic Perspective., , and . Computación y Sistemas, (2022)Brief Announcement: On the Impossibility of Detecting Concurrency., , and . DISC, volume 121 of LIPIcs, page 50:1-50:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A dynamic epistemic logic analysis of the equality negation task., , , and . CoRR, (2019)A many-sorted epistemic logic for chromatic hypergraphs., , and . CoRR, (2023)A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability., , and . GandALF, volume 277 of EPTCS, page 73-87. (2018)Concurrent Specifications Beyond Linearizability., , and . OPODIS, volume 125 of LIPIcs, page 28:1-28:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A cartesian-closed category for higher-order model checking., and . LICS, page 1-12. IEEE Computer Society, (2017)A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks, , , , and . Journal of Logical and Algebraic Methods in Programming, (2021)#journal.A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks., , , , and . J. Log. Algebraic Methods Program., (2021)