Sergei Artemov

No bio available. Add one in Open Library.

Books by Sergei Artemov (50 max)

+ shelf+ list

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2007

Sergei Artemov

+ shelf+ list

Justification Logic Reasoning with Reasons

2019

Sergei Artemov, Melvin Fitting

+ shelf+ list

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue: Intuitionistic Modal Logic and Applications

2021

Valeria De Paiva, Sergei Artemov