The following pages link to Ali Farjami (Q5102445):
Displaying 10 items.
- (Q5102446) (← links)
- (Q5224901) (← links)
- (Q5869212) (← links)
- (Q5869235) (← links)
- (Q5869627) (← links)
- (Q5869628) (← links)
- Obligations and permissions on selfextensional logics (Q6521344) (← links)
- Obligations and permissions, algebraically (Q6524749) (← links)
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)
- Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space (Q6756216) (← links)