Login / Signup
Natalia Rubtsova
Publication Activity (10 Years)
Years Active: 2006-2007
Publications (10 Years): 0
</>
Publications
</>
Tatiana Yavorskaya
,
Natalia Rubtsova
Operations on proofs and labels.
J. Appl. Non Class. Logics
17 (3) (2007)
Natalia Rubtsova
Evidence Reconstruction of Epistemic Modal Logic S5.
CSR
(2006)
Natalia Rubtsova
On Realization of S5-modality by Evidence Terms.
J. Log. Comput.
16 (5) (2006)