Sergei Artemov

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 4

Top Topics

Epistemic Logic

Inference Rules

Top Venues

Fundam. Informaticae

J. Log. Comput.

Publications

Sergei Artemov
Towards Syntactic Epistemic Logic. CoRR (2022)
Sergei Artemov
Towards Syntactic Epistemic Logic. Fundam. Informaticae 186 (1-4) (2022)
Sergei Artemov, Anil Nerode
Editorial. J. Log. Comput. 32 (8) (2022)
Valeria de Paiva, Sergei Artemov
Preface to Intiutionistic Modal Logic 2017. FLAP 8 (8) (2021)