Grigori F. Shvarts

According to our database¹, Grigori F. Shvarts authored at least 4 papers between 1989 and 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

Modal Nonmonotonic Logics: Ranges, Characterization, Computation.

[BibT_eX]

[DOI]

J. ACM, 1993

1990

Autoepistemic Modal Logics.

[BibT_eX]

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

1989

Fixed Points in the Propositional Nonmonotonic Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1989

Gentzen Style Systems for K45 and K45D.

[BibT_eX]

[DOI]

Proceedings of the Logic at Botik '89, 1989