Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference18 articles.
1. Operational modal logic;Artemov,1995
2. Explicit provability and constructive semantics;Artemov;Bull. Symb. Log.,2001
3. Kolmogorov and Gödel's approach to intuitionistic logic: current developments;Artemov;Russ. Math. Surv.,2004
4. The logic of justification;Artemov;Rev. Symb. Log.,2008
5. On explicit counterparts of modal logics;Brezhnev,2000
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tableaux and Interpolation for Propositional Justification Logics;Notre Dame Journal of Formal Logic;2024-02-01
2. Index;Justification Logic;2019-05-02
3. Going Past Modal Logic;Justification Logic;2019-05-02
4. Quantifiers in Justification Logic;Justification Logic;2019-05-02
5. Arithmetical Completeness and BHK Semantics;Justification Logic;2019-05-02