Sergei N. Artemov (artemov)

My contributions to Philosophie.ch

Bibliography

Artemov, Sergei N. 1990. “Kolmogorov’s Logic of Problems and a Provability Interpretation of Intuitionistic Logic.” in TARK 1990. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, edited by Rohit Parikh, pp. 257–272. San Francisco, California: Morgan Kaufmann Publishers.
Artemov, Sergei N. 2000a. “Explicit Provability and Constructive Semantics.” The Bulletin of Symbolic Logic 7(1): 1–36.
Artemov, Sergei N. 2000b. “Operations on Proofs that can be Specified by Means of Modal Logic.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 77–90. Stanford, California: CSLI Publications.
Artemov, Sergei N. 2010. “Tracking Evidence.” in Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, edited by Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, pp. 61–74. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Artemov, Sergei N. 2011. “Why do we Need Justification Logic?” in Games, Norms and Reasons. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Eric Pacuit, pp. 23–38. Synthese Library n. 353. Dordrecht: Springer.
Artemov, Sergei N., Barringer, Howard, Garcez, A. S. d’Avila, Lamb, Luis C. and Wood, John, eds. 2005a. We Will Show Them! Essays in Honour of Dov Gabbay. Volume I. Tributes n. 1. London: King’s College Publications.
Artemov, Sergei N., Barringer, Howard, Garcez, A. S. d’Avila, Lamb, Luis C. and Wood, John, eds. 2005b. We Will Show Them! Essays in Honour of Dov Gabbay. Volume II. Tributes n. 2. London: King’s College Publications.
Artemov, Sergei N. and Beklemishev, Lev D. 2005. “Provability Logic.” in Handbook of Philosophical Logic, Volume XIII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 189–360. Dordrecht: Springer.
Artemov, Sergei N. and Fitting, Melvin Chris. 2011. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2011/entries/logic-justification/.
Artemov, Sergei N. and Fitting, Melvin Chris. 2015. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2015/entries/logic-justification/.
Artemov, Sergei N. and Fitting, Melvin Chris. 2019. Justification Logic. Reasoning with Reasons. Cambridge Tracts in Mathematics. Cambridge: Cambridge University Press, doi:10.1017/9781108348034.
Artemov, Sergei N. and Fitting, Melvin Chris. 2020. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2020/entries/logic-justification/.
Artemov, Sergei N., Fitting, Melvin Chris and Studer, Thomas. 2024. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2024/entries/logic-justification/.
Artemov, Sergei N. and Montagna, Franco. 1994. “Our First Order Theories with Provability Operator.” The Journal of Symbolic Logic 59: 1139–1153.
Artemov, Sergei N. and Nogina, Elena. 2008. “The Topology of Justification.” Logic and Logical Philosophy 17(1/2): 59–71.
Artemov, Sergei N. and Parikh, Rohit, eds. 2006. Proceedings of the Workshop on Rationality and Knowledge, ESSLLI 2006. London: King’s College Publications.
Artemov, Sergei N. and Protopopescu, Tudor. 2013. “Discovering Knowability: A Semantic Analysis.” Synthese 190(16): 3349–3376.
Artemov, Sergei N. and Strassen, Tyko. 1993. “The Logic of the Gödel Proof Predicate.” in Computational Logic and Proof Theory, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, pp. 71–82. Lecture Notes in Computer Science n. 713. Berlin: Springer.