Author picture

S. N. Artemov

Author of Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

11+ Works 39 Members

About the Author

Includes the names: S. Artemov, Sergei Artemov

Works by S. N. Artemov

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings (2009) 14 copies
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics, Series Number 216) (2019) 6 copies
Logical foundations of computer science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings (2007) 5 copies
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (2013) 4 copies
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings (Theoretical Computer Science and General… (2021) 2 copies
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings (Theoretical Computer Science and General… (2019) 2 copies
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2 (2005) 2 copies
Six papers in logic (1987) 1 copy
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Lecture Notes in Computer Science) (2015) 1 copy
Annals of Pure and Applied Logic, Volume 75, Numbers 1-2, 12 September 1995 Special Issue: Invited papers presented at the conference on Proof Theory, Provability Logic, and… 1 copy
We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 (2005) 1 copy
Work Explorer

Associated Works

Johan van Benthem on Logic and Information Dynamics (2014) — Contributor — 13 copies

Tagged

li_3 (2) to-read (1)

Common Knowledge

Members

Reviews

No reviews found.

You May Also Like

Associated Authors

Statistics

Works
11
Also by
1
Members
39
Popularity
#376,656
ISBNs
19