Konstantin N. Ignatiev

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

2 Konstantin N. Ignatiev: The Provability Logic for sigma₁-Interpolability. Ann. Pure Appl. Logic 64(1): 1-25 (1993)

1 Konstantin N. Ignatiev: On Strong Provability Predicates and the Associated Modal Logics. J. Symb. Log. 58(1): 249-290 (1993)

	1993
2		Konstantin N. Ignatiev: The Provability Logic for sigma₁-Interpolability. Ann. Pure Appl. Logic 64(1): 1-25 (1993)
1		Konstantin N. Ignatiev: On Strong Provability Predicates and the Associated Modal Logics. J. Symb. Log. 58(1): 249-290 (1993)

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page