9. Latarres, Lattices with an Arrow, M. Ardeshir, W. Ruitenburg, October 21, 2016

8. The ΣProvability Logic of HA (second version); M.Ardeshir, S.M.Mojtahedi; December 13, 2015.

7. Reduction of Provability Logics to ΣProvability Logics, September 11, 2015

6. The de Jongh property for Basic Arithmetic; M. Ardeshir, S. M. Mojtahedi; September 22, 2014.

5. The ΣProvability Logic of HA; M.Ardeshir, S.M.Mojtahedi; September 22, 2014.

4. Boolean Algebras in Visser Algebras; M. Alizadeh, M. Ardeshir, W. Ruitenburg; 12 July, 2013.

3. Epistemic Learning Programs, A Calculus for Describing Epistemic Action Models; M. Ardeshir, R. Ramezanian; July 12, 2013.

2. Computation Environments An Interactive Semantics for Computation; R. Ramezanian; July 12, 2013.

1. Completeness of Intermediate Logics with Doubly Negated Axioms; M.Ardeshir, S.M.Mojtahedi; July 8, 2013.
