P. E. Eleftheriou, Costas D. Koutras Frame constructions, truth invariance and validity preservation in many-valued modal logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:367-388 [Journal]
Tomasz F. Skura Intuitionistic Socratic procedures. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:453-464 [Journal]
Tarek Sayed Ahmed Omitting types for algebraizable extensions of first order logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:465-489 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
