Member of
the group:
Meghdad Ghari
(PostDoctoral Research Fellow)
Former Members:
Mojtaba Aghaei (Resident
Researcher)
Amir Khamseh (NonResident
Researcher)
Useful Links:
Mathematical
Logic Group (IPMTehran)
Iranian Association
for Logic
Logic Group (Sharif
University of Technology)
Visitors:
·
Darío Alejandro García
(University of Leeds)
·
Thomas Studer
(University of Bern)
·
Andres Villaveces
(Universidad Nacional de Colombia)
·
Kai Hauser
(Technical University of Berlin)
Past Events:


IPMIsfahan
Workshop
on "Various Aspects of Modality"
More Info...

Short Courses:


Mathematical, Philosophical and Computational Logic
(Course 1: Propositional Logic)
More Info...

(3) Ali Kalantari, University of Isfahan

An Investigation on Truth Functionality of Logical
Constants in Propositional Logic and Their Counterparts in Natural Language
(Slides)
(Handout)

Thursday, December 8, 2016 (18 Azar 1395) at 13:30


(2) Meghdad Ghari, Institute for Research in Fundamental Sciences (IPM)

Decision Procedures for Satisfiability and Validity in Propositional Logic
(More Info)
(Slides)

Thursday, November 24, 2016 (4 Azar 1395) at 13:30


(1) Hamzeh Mohammadi, Isfahan University of Technology

Propositional Logic
(Slides)

Thursday, November 17, 2016 (27 Aban 1395) at 13:30


Upcoming Lecture:
Propositional Logic; Critical Study 
Morteza Haj Hosseini 
University of Isfahan 
Thursday, December 15, 2016 (25 Azar, 1395) at 14:00
(More Info)
(Slides)


Past Lectures:

Darío Alejandro García, University of Leeds
Applications of Ultraproducts of Finite
Structures to Combinatoricss
3 November 2016
More Info

Mohammad Maarefi
Some Reflections on the Epistemology of
Mathematical Practice and Models of
Mathematics (Defending a Faithful Philosophy
of Mathematics)
28
April 2016
More
Info

Hamzeh Mohammadi, Isfahan University of
Technology
Fuzzy Logics
26
April 2016
More Info
 Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Reasoning about Uncertain Evidence
28
January 2016
More Info

Afshin Zarei,
Isfahan University of Technology
Authentication protocols and a logical
method
for analyzing them
19
November2015 More Info

Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Proof Analysis in ModalJustification Logics
11
June 2015 More Info

Amir Khamseh, Kharazmi University
Hindman's Theorem, Variable Words and
Reverse Mathematics
28 May 2015
More Info

Mojtaba Aghaei,
Isfahan University of Technology
Admissibility of rules in reduced normal
forms in S4
7 May 2015
More Info

Kai Hauser, Technical University of Berlin
Large Cardinal Numbers and Infinite Games
8 March 2015
More Info

Mojtaba Aghaei,
Isfahan University of Technology
Constructive Mathematics
27 November 2014
More Info

Amir Khamseh, Kharazmi University
An introduction to reverse mathematics
20 November 2014
More Info

Hamzeh Mohammadi, Isfahan University of
Technology
Modal Logic with Counting
30 October 2014
More Info

Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Tableau Proof Systems for Justification
Logics
23 October 2014
More Info
 Meghdad Ghari,
Institute
for Research in Fundamental Sciences (IPM)
Justification Logics
and their Epistemic Semantics
16 October 2014
