Reihane Zoghifard

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Quantifier Elimination

Proof Procedure

Top Venues

Ann. Pure Appl. Log.

Publications

Mohammad Golshani, Reihane Zoghifard
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. J. Symb. Log. 89 (1) (2024)
Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard
A Lindström theorem for intuitionistic first-order logic. Ann. Pure Appl. Log. 174 (10) (2023)