Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Kent, C.: The relation ofA to Prov ?A? in the Lindenbaum sentence algebra. J. Sym. Logic,38, 295?298 (1973)
2. Guaspari, D.: Sentences implying their own provability. J. Sym. Logic.48, 777?789 (1983)
3. Smory?ski, C.: Self-Reference and Modal Logic. Berlin Heidelberg New York: Springer 1985
4. Logic. Group Preprint Series;A. Visser,1987
5. de Jong, D., Pianigiani, D.: Solution of a problem of David Guaspari, ITLI Prepublication Series. Amsterdam 1990
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献