Tatiana Yavorskaya

According to our database, Tatiana Yavorskaya authored at least 10 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A more abstract bounded exploration postulate.

Yuri Gurevich, Tatiana Yavorskaya

CoRR, 2022

2016

Binding modalities.

Sergei N. Artëmov, Tatiana Yavorskaya

J. Log. Comput., 2016

2008

Interacting Explicit Evidence Systems.

Tatiana Yavorskaya

Theory Comput. Syst., 2008

2007

Operations on proofs and labels.

Tatiana Yavorskaya, Natalia Rubtsova

J. Appl. Non Class. Logics, 2007

2006

Logic of Proofs and Labels with a Complete Set of Operations.

Tatiana Yavorskaya

J. Log. Comput., 2006

Multi-agent Explicit Knowledge.

Tatiana Yavorskaya

Proceedings of the Computer Science, 2006

2005

Negative Operations on Proofs and Labels.

Tatiana Yavorskaya

J. Log. Comput., 2005

2001

Logic of proofs and provability.

Tatiana Yavorskaya

Ann. Pure Appl. Log., 2001

1997

Provability Logic with Operations on Proofs.

Tatiana Sidon

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1994

Craig Interpolation Property in Modal Logics with Provability Interpretation.

Tatiana Sidon

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994