default search action

combined dblp search
author search
venue search
publication search

ask others

Tatiana Yavorskaya

Tatiana Sidon

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ArtemovY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ArtemovY16
Sergei N. Artëmov, Tatiana Yavorskaya:
Binding modalities. J. Log. Comput. 26(1): 451-461 (2016)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Yavorskaya08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Yavorskaya08
Tatiana Yavorskaya:
Interacting Explicit Evidence Systems. Theory Comput. Syst. 43(2): 272-293 (2008)
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/YavorskayaR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/YavorskayaR07
Tatiana Yavorskaya, Natalia Rubtsova:
Operations on proofs and labels. J. Appl. Non Class. Logics 17(3): 283-316 (2007)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Yavorskaya06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Yavorskaya06
Tatiana Yavorskaya:
Logic of Proofs and Labels with a Complete Set of Operations. J. Log. Comput. 16(5): 697-710 (2006)
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Yavorskaya05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Yavorskaya05
Tatiana Yavorskaya:
Negative Operations on Proofs and Labels. J. Log. Comput. 15(4): 517-537 (2005)
2001
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Yavorskaya01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Yavorskaya01
Tatiana Yavorskaya:
Logic of proofs and provability. Ann. Pure Appl. Log. 113(1-3): 345-372 (2001)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2006
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/Yavorskaya06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/Yavorskaya06
Tatiana Yavorskaya:
Multi-agent Explicit Knowledge. CSR 2006: 369-380
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Sidon97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Sidon97
Tatiana Sidon:
Provability Logic with Operations on Proofs. LFCS 1997: 342-353
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Sidon94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Sidon94
Tatiana Sidon:
Craig Interpolation Property in Modal Logics with Provability Interpretation. LFCS 1994: 329-340

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01032
Yuri Gurevich, Tatiana Yavorskaya:
A more abstract bounded exploration postulate. CoRR abs/2206.01032 (2022)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.