Author:
Primiero Giuseppe,Taddeo Mariarosaria
Subject
Applied Mathematics,Logic
Reference76 articles.
1. Categorical and Kripke semantics for constructive S4 modal logic;Alechina,2001
2. Logic of proofs;Artemov;Annals of Pure and Applied Logic,1994
3. Explicit provability and constructive semantics;Artemov;Bulletin of Symbolic Logic,2001
4. Justified common knowledge;Artemov;Theoretical Computer Science,2006
5. Introducing justification to epistemic logic;Artemov;Journal of Logic and Computation,2005
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献