Sergei N. Artemov

The face

The background

Nationality:

Russian-American

Schools:

First-order logic, Provability logic, Intuitionistic logic, Epistemic logic, Modal logic

Branchs:

Logic, Computer Science, Mathematics, Philosophy, Proof theory, Logic in computer science, Optimal control, Hybrid systems, Automated deduction, Epistemology, Epistemic game theory, Logics of proofs, Justifications, Dynamic topological logic

Period:

20th-21st century

The synopsis