On the Decidability of the Ordered Structures of Numbers. - Ziba Assadi; Saeed Salehi (CoRR, 2017)

On decidability and axiomatizability of some ordered structures. - Ziba Assadi; Saeed Salehi (Soft Comput., 2019)

Decidability of the Multiplicative and Order Theory of Numbers. - Ziba Assadi (CoRR, 2020)

Gödelian sentences, Rosserian sentences and truth. - Ziba Assadi; Saeed Salehi (J. Log. Comput., 2022)

Logical Formalisms for Ethics. - Ziba Assadi (GoodIT, 2024)

On Representing Humans' Soft-Ethics Preferences As Dispositions. - Donatella Donati; Ziba Assadi; Simone Gozzano; Paola Inverardi; Nicolas Troquard (Ital-IA, 2024)