Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference18 articles.
1. Artemov, S., Operational modal logic, Technical Report MSI 95-29, Cornell University, 1995.
2. Artemov, S., Explicit provability and constructive semantics, The Bulletin of Symbolic Logic 7(1):1–36, 2001.
3. Avron, A., On modal systems having arithmetical interpretations, Journal of Symbolic Logic 49:935–942, 1984.
4. Boolos, G., The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, Cambridge, 1979.
5. Boolos, G., The Logic of Provability, Cambridge University Press, 1993.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献