Eveline Lehmann

According to our database, Eveline Lehmann authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Impossible and Conflicting Obligations in Justification Logic.

Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer

CoRR, 2023

2020

Belief Expansion in Subset Models.

Eveline Lehmann, Thomas Studer

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019

Subset Models for Justification Logic.

Eveline Lehmann, Thomas Studer

Proceedings of the Logic, Language, Information, and Computation, 2019