Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. van Benthem, J.: Essays in Logical Semantics. Reidel, Dordrecht (1986)
2. Böerger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. In: Perspectives in Mathematical Logic, p. 1197. Springer, Heidelberg
3. van Dalen, D.: Logic and Structure, 4th edn. Springer, Berlin (2004)
4. Fitch, F.B.: Natural Deduction Rules for English. Philosophical Studies 24(2), 89–104 (1973)
5. Francez, N., Dyckhoff, R.: Proof-Theoretic Semantics for a Natural Language Fragment. In: Jaeger, G., Ebert, C., Michaelis, J. (eds.) Proceedings, MoL 10/11. LNCS (LNAI). Springer, Heidelberg (2010) (to appear)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献