Author:
Artemov Sergei N.,Nerode Anil
Publisher
Springer Berlin Heidelberg
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Index;Justification Logic;2019-05-02
2. Going Past Modal Logic;Justification Logic;2019-05-02
3. Quantifiers in Justification Logic;Justification Logic;2019-05-02
4. Arithmetical Completeness and BHK Semantics;Justification Logic;2019-05-02
5. The Range of Realization;Justification Logic;2019-05-02