Tatiana Sidon
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 7 |      | Tatiana Yavorskaya: Interacting Explicit Evidence Systems. Theory Comput. Syst. 43(2): 272-293 (2008) |
| 2006 | ||
| 6 | | Tatiana Yavorskaya: Multi-agent Explicit Knowledge. CSR 2006: 369-380 |
| 5 | | Tatiana Yavorskaya: Logic of Proofs and Labels with a Complete Set of Operations. J. Log. Comput. 16(5): 697-710 (2006) |
| 2005 | ||
| 4 | | Tatiana Yavorskaya: Negative Operations on Proofs and Labels. J. Log. Comput. 15(4): 517-537 (2005) |
| 2001 | ||
| 3 |  | Tatiana Yavorskaya: Logic of proofs and provability. Ann. Pure Appl. Logic 113(1-3): 345-372 (2001) |
| 1997 | ||
| 2 | | Tatiana Sidon: Provability Logic with Operations on Proofs. LFCS 1997: 342-353 |
| 1994 | ||
| 1 | | Tatiana Sidon: Craig Interpolation Property in Modal Logics with Provability Interpretation. LFCS 1994: 329-340 |