Karatay, A., “The modal formula (dagger) square lozenge p superset of square lozenge square lozenge p is not first-order definable”, Logic, Language, and Computation, 5422, 221-228, 2009.

Yayın Tarihi: 
Perşembe, 1 Ocak, 2009
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: