Skip to content
cs-conference-ranking.org

Sergei N. Artmov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

7

Active years

1990–2020

Best venue rank

National

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2020LFCSObservable Models.Sergei N. Artmov
2018LFCSJustification Awareness Models.Sergei N. Artmov
2016LFCSOn Aggregating Probabilistic Evidence.Sergei N. Artmov
2009TARKLogical omniscience as a computational complexity problem.Sergei N. Artmov, Roman Kuznets
2008CSRTopological Semantics of Justification Logic.Sergei N. Artmov, Elena Nogina
2008JELIAJustification Logic.Sergei N. Artmov
2007LFCSThe Intensional Lambda Calculus.Sergei N. Artmov, Eduardo Bonelli
2006CSLLogical Omniscience Via Proof Complexity.Sergei N. Artmov, Roman Kuznets
2005TARKOn epistemic logic with justification.Sergei N. Artmov, Elena Nogina
2003CSLBack to the Future: Explicit Logic for Computer Science (Invited Lecture).Sergei N. Artmov
1999CADEOn Explicit Reflection in Theorem Proving and Formal Verification.Sergei N. Artmov
1998AiMLOperations on Proofs that can be Specified by Means of Modal Logic.Sergei N. Artmov
1997LFCSTopological Semantics for Hybrid Systems.Sergei N. Artmov, Jennifer M. Davoren, Anil Nerode
1994LFCSReferential Data Structures and Labeled Modal Logic.Sergei N. Artmov, Vladimir Krupski
1992CSLThe Basic Logic of Proofs.Sergei N. Artmov, Tyko Straen
1990TARKKolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic.Sergei N. Artmov