◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Farjami

7 papers hereh-index 6113 citations23 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • middle author6

Across the 7 of 7 papers where every author was matched, so the position is known.

fields
  • math.LO4
  • cs.AI2
  • cs.LO1
same name
  • A. Farjami — 4 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20182025
most citedFaithful Semantical Embedding of a Dyadic Deontic Logic in HOL

4 citations · 4 across the 7 of their papers we have counts for

collaborators
Showing math.LOShow all

4 papers · 1 filter

math.LO2025

Normative implications

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +4

We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slan…

math.LO2024

Obligations and permissions, algebraically

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3

We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…

math.LO2024

Obligations and permissions on selfextensional logics

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3

We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general ba…

math.LO2022

Subordination Algebras as Semantic Environment of Input/Output Logic

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3

We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.