Atefeh Rohani

dblp:299/1944 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2025 Explicit non-normal modal logic
abstract
Abstract 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
WoLLIC2
2021 Explicit Non-normal Modal Logic
Atefeh Rohani, Thomas Studer
WoLLIC1