Author:
Faroldi Federico L. G.,Rohani Atefeh,Studer Thomas
Publisher
Springer Nature Switzerland
Reference33 articles.
1. Artemov, S.: Explicit provability and constructive semantics. BSL 7(1), 1–36 (2001)
2. Artemov, S.: Justified common knowledge. TCS 357(1–3), 4–22 (2006). https://doi.org/10.1016/j.tcs.2006.03.009
3. Artemov, S.: The ontology of justifications in the logical setting. Stud. Log. 100(1–2), 17–30 (2012). https://doi.org/10.1007/s11225-012-9387-x
4. Cambridge Tracts in Mathematics;S Artemov,2019
5. Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Appl. Non-Classical Log. 21(1), 35–60 (2011). https://doi.org/10.3166/JANCL.21.35-60