![]() | ![]() |
1994 | ||
---|---|---|
3 | Giorgie Dzhaparidze: The Logic of Arithmetical Hierarchy. Ann. Pure Appl. Logic 66(2): 89-112 (1994) | |
1993 | ||
2 | Giorgie Dzhaparidze: A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic. Ann. Pure Appl. Logic 61(1-2): 113-160 (1993) | |
1990 | ||
1 | Sergei N. Artëmov, Giorgie Dzhaparidze: Finite Kripke Models and Predicate Logics of Provability. J. Symb. Log. 55(3): 1090-1098 (1990) |
1 | Sergei N. Artëmov | [1] |