Eveline Lehmann

According to our database, Eveline Lehmann authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Consistency and permission in deontic justification logic.

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

J. Log. Comput., 2024

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