Funder
Institute for Research in Fundamental Sciences
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference30 articles.
1. Artemov, S., Operational modal logic, Technical Report MSI 95–29, Cornell University, 1995.
2. Artemov, S., Explicit provability and constructive semantics, Bulletin of Symbolic Logic 7(1):1–36, 2001.
3. Artemov, S., The ontology of justifications in the logical setting, Studia Logica 100(1–2):17–30, 2012. https://doi.org/10.1007/s11225-012-9387-x.
4. Artemov, S., and M. Fitting, Justification Logic: Reasoning with Reasons Cambridge University Press, 2019. https://doi.org/10.1017/9781108348034.
5. Artemov, S., and M. Fitting, Justification logic, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Spring 2021 edition. http://plato.stanford.edu/archives/fall2012/entries/logic-justification/.