Publisher
Springer International Publishing
Reference24 articles.
1. Achilleos, A.: A complexity question in justification logic. Journal of Computer and System Sciences 80(6), 1038–1045 (2014)
2. Achilleos, A.: Modal logics with hard diamond-free fragments. CoRR, abs/1401.5846 (2014)
3. Achilleos, A.: On the complexity of two-agent justification logic. Technical Report TR–2014003, CUNY Ph.D. Program in Computer Science (January 2014)
4. Artemov, S.: Operational modal logic. Technical Report MSI 95–29, Cornell University (December 1995)
5. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献