Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference22 articles.
1. Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in Proceedings of the 19th Joint International Conference on Artificial Intelligence (IJCAI 2005), 2005.
2. Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in LTCS-Report 05-01, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005.
3. Baader, F., S. Brandt, and B. Suntisrivaraporn, Is tractable reasoning in extensions of the description logic EL useful in practice?, in Proceedings of the Methods for Modalities Workshop (M4M-05), Berlin, Germany, 2005.
4. Beklemishev, L. D., Positive provability logic for uniform reflection principles, Annals of Pure and Applied Logic 165: 82–105, 2014.
5. Beklemishev, L. D., A note on strictly positive logics and word rewriting systems, in S. Odintsov, (ed.), Larisa Maksimova on Implication, Interpolation, and Definability, vol. 15 of Outstanding Contributions to Logic, Springer, 2017, pp. 61–70 (preprint arXiv:1509.00666, 2015).