Publisher
Springer International Publishing
Reference24 articles.
1. Abramsky, S., Kontinen, J., Väänänen, J., Vollmer, H. (eds.): Dependence Logic: Theory and Applications. Springer, Cham (2016).
https://doi.org/10.1007/978-3-319-31803-5
2. London Math Society Lecture Note Series;IB Yaacov,2008
3. Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. In: Cooper, B., Löwe, B., Sorbi, A. (eds.) New Computational Paradigms: Changing Conceptions of What is Computable, pp. 425–491. Springer, New York (2008).
https://doi.org/10.1007/978-0-387-68546-5_18
4. Oxford Logic Guides,2005
5. Diener, H.: Constructive reverse mathematics.
arXiv:1804.05495
(2018)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing Statistical Causality via Modal Logic;Logics in Artificial Intelligence;2023
2. Logics with Multiteam Semantics;ACM Transactions on Computational Logic;2022-01-14