IPM LOGIC GROUP

News

Workshop IPM
Model Theory of Valued Fields
October 1-11, 2018
More Info

Upcoming Events

Publications

A. Mofidi, On Some Dynamical Aspects Of NIP Theories Arch. Math. Logic (to appear) More Info
Z. Ghadrenezhad and M. Pourmahdian (Joint with H. Khalilian), Automorphism groups of generic structures: extreme amenability and amenability Fund. Math. (to appear) More Info
M. Ghari (Joint with S. Bucheli and T. Studer), Temporal Justification Logic 243 Electronic Proceedings in Theoretical Computer Science, , , 59-74, (2017)  More Info
S. Tari, Some definable properties of sets in non-valuational weakly o-minimal structures Arch. Math. Logic (2017), DOI: 10.1007/s00153-017-0523-1  More Info
M. Ghari, Labeled sequent calculusfor justification logics Ann. Pure Appl. Logic 168(2017), 72-111  More Info