Reihane Zoghifard
Identifiers
No identifiers captured yet.
Papers (3)
- Strong Completeness of Provability Logic for Uncountable Languages math.LO · 2026 · author #3
- Probability Logic: A Model Theoretic Perspective math.LO · 2018 · author #2
- First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems math.LO · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Massoud Pourmahdian 2 shared papers
- Grigorii Stepanov 1 shared papers
- Mohammad Golshani 1 shared papers