#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1998

2018

- This year (2)
- Last 5 years (8)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Mohammad Ardeshir, Wim Ruitenburg
- Math. Log. Q.
- 1998

- Majid Alizadeh, Mohammad Ardeshir
- Math. Log. Q.
- 2004

Most well-known logical systems have associated with them a natural algebraic structure, namely their Lindenbaum algebra. The Lindenbaum algebra of Basic Propositional Calculus BPC, called basicâ€¦ (More)

- Marjan Sirjani, Ali Movaghar, +4 authors Mohsen Sharifi
- 2004

Rebeca (Reactive Ob jects Language) is an actor-based language for modeling concurrent and distributed systems. Providing a formal foundation, Rebeca is designed in an effort to bridge the gapâ€¦ (More)

- Mohammad Ardeshir, Rasoul Ramezanian
- Math. Log. Q.
- 2009

A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Churchâ€™s Thesis permits the existence of a Specker sequence. In intuitionisticâ€¦ (More)

- Mohammad Ardeshir, Rasoul Ramezanian
- ArXiv
- 2013

Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action Kripke modelsâ€¦ (More)

- Hoda Salemi, A. Behnamghader, A. Afshar, Mohammad Ardeshir, T. foratiE
- 2007 29th Annual International Conference of theâ€¦
- 2007

The hydroxyapatite coating on metal implants is a suitable method to create a bioactive surface and to increase the bone-implant bonding strength. In this research, at first the titanium surface wasâ€¦ (More)

- Majid Alizadeh, Mohammad Ardeshir
- Math. Log. Q.
- 2006

We study the variety of LÃ¶b algebras, the algebraic structures associated with formal propositional calculus. Among other things, we prove a completeness theorem for formal propositional logic withâ€¦ (More)

- Mohammad Ardeshir, Fateme Nabavi
- Logic Journal of the IGPL
- 2006

We give answers to some questions raised by L. Ã…qvist in [6] and [7]. The question raised in [7] which we will answer positively is about the representability of Ã…qvistâ€™s system G in a hierarchy ofâ€¦ (More)

- Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
- Ann. Pure Appl. Logic
- 2003

We present axiom systems, and provide soundness and strong completeness theorems, for classes of Kripke models with restricted extension rules among the node structures of the model. As examples weâ€¦ (More)

- Mohammad Ardeshir, S. Mojtaba Mojtahedi
- Logic Journal of the IGPL
- 2015