IPM LOGIC GROUP

News


Upcoming Events

Publications

M. Ghari, A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons Artificial Intelligence and Law (to appear) More Info
M. Ghari, Linear temporal justification logics with past and future time modalities Log. J. IGPL 31(2023), 1-38  More Info
S. Bahrami, Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability J. Symbolic Logic (to appear) More Info
A. Mofidi, On the VC-dimension, covering and separating properties of the cycle and spanning tree hypergraphs of graphs Transactions on Combinatorics 11(2022), 29-43  More Info
A. Mofidi, Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem Bull. Iranian Math. Soc. (to appear) More Info