Ali Farjami

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Obligations and permissions on selfextensional logics (available as arXiv preprint)	N/A	Paper
Obligations and permissions, algebraically (available as arXiv preprint)	N/A	Paper
Obligations and permissions on selfextensional logics Synthese	2026-04-15	Paper
Normative implications (available as arXiv preprint)	2025-01-01	Paper
Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments	2024-10-14	Paper
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space (available as arXiv preprint)	2024-01-01	Paper
Subordination algebras as semantic environment of input/output logic Logic, Language, Information, and Computation	2023-06-02	Paper
Subordination algebras as semantic environment of input/output logic Logic, Language, Information, and Computation	2023-06-02	Paper
I/O logic in HOL	2022-09-28	Paper
Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL	2022-09-28	Paper
scientific article; zbMATH DE number 7593542 (Why is no real title available?)	2022-09-27	Paper
scientific article; zbMATH DE number 7593562 (Why is no real title available?)	2022-09-27	Paper
Experiments in Kratzer modal semantics using Isabelle/HOL	2022-09-07	Paper
A dyadic deontic logic in HOL	2019-07-24	Paper
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL	2018-02-23	Paper
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL (available as arXiv preprint)	2018-01-01	Paper

Research outcomes over time

This page was built for person: Ali Farjami