Sopo Pkhakadze

According to our database¹, Sopo Pkhakadze authored at least 3 papers between 2019 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic.

[BibT_eX]

[DOI]

Axioms, 2020

2019

Sequent-Type Proof Systems for Three-Valued Default Logic.

[BibT_eX]

[DOI]

CoRR, 2019

A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019