| |
Tatiana Sidon
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 7 | EE | Tatiana Yavorskaya: Interacting Explicit Evidence Systems. Theory Comput. Syst. 43(2): 272-293 (2008) |
| 2006 | ||
| 6 | EE | Tatiana Yavorskaya: Multi-agent Explicit Knowledge. CSR 2006: 369-380 |
| 5 | EE | Tatiana Yavorskaya: Logic of Proofs and Labels with a Complete Set of Operations. J. Log. Comput. 16(5): 697-710 (2006) |
| 2005 | ||
| 4 | EE | 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 | |