activity
20102026
most citedFrom rational Godel logic to continuous ultrametric logic

4 citations · 8 across the 18 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

math.LO2016

Some Model Theoretic Properties of Non-AC Generic Structures

Ali N. Valizadeh, Massoud Pourmahdian

In the context of Hrushovski constructions we take a language with a ternary relation and consider the theory of the generic models of the class…

math.LO2016

First-Order Modal Logic: Frame Definability and Lindström Theorems

Reihane Zoghifard, Massoud Pourmahdian

This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.