EDBT 2026 Demo / reviewers in the wild / expert
Atefeh Rohani
dblp:299/1944
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Explicit non-normal modal logicabstractAbstract Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect to various models and we study the problem of realization. Atefeh Rohani, Thomas Studer |
J. Log. Comput. | 1 |
| 2023 | Conditional Obligations in Justification Logic
Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer |
WoLLIC | 2 |
| 2021 | Explicit Non-normal Modal Logic
Atefeh Rohani, Thomas Studer |
WoLLIC | 1 |