| |
| 1993 | ||
|---|---|---|
| 5 | EE | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993) |
| 1991 | ||
| 4 | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404 | |
| 1990 | ||
| 3 | Grigori F. Shvarts: Autoepistemic Modal Logics. TARK 1990: 97-109 | |
| 1989 | ||
| 2 | Grigori F. Shvarts: Gentzen Style Systems for K45 and K45D. Logic at Botik 1989: 245-256 | |
| 1 | Grigori F. Shvarts: Fixed Points in the Propositional Nonmonotonic Logic. Artif. Intell. 38(2): 199-206 (1989) | |
| 1 | Victor W. Marek (V. Wiktor Marek) | [4] [5] |
| 2 | Miroslaw Truszczynski | [4] [5] |