Wednesday, 22 December 2010 21:53

The logic group at Sharif University is a research group in Department of Mathematical Sciences, under supervision of Prof. Mohammad Ardeshir. The research interests of the group include different aspects of logic, such as philosophical, mathematical and logic in computer science. In particular, members of the group work on the following subjects:

1. Basic Logic,

2. Intuitionistic Mathematics,

3. Epistemic Logic,

4. Modal Logic and its applications in computer science (Game logic, Deontic Logic, etc.),

5. Formal Verification,

6. Philosophy of Mathematics and Logic.

Besides theoretical research, the group has a strong desire to apply its results in logical modeling and verification of real systems and protocols as security protocols, social systems and etc.

- Logic and set theory around the world (4212 Hits)
- Iranian Association for Logic (12568 Hits)
- Utrecht Logic Group Preprints (13064 Hits)
- Mathematical Logic around the world (13050 Hits)
- MathSciNet (12988 Hits)
- Artifical intelligent and law (12367 Hits)
- Active Logic,Meta Cognitive Computation and Mind (13277 Hits)

We have 3 guests and no members online