14 citations · 23 across the 3 of their papers we have counts for
4 papers
Towards Syntactic Epistemic Logic
Sergei Artemov
Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. In…
The Provability of Consistency
Sergei Artemov
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency…
Epistemic Modeling with Justifications
Sergei Artemov
Existing logical models do not fairly represent epistemic situations with fallible justifications, e.g., Russell's Prime Minister example, though such scenarios have long been at t…
Knowing the Model
Sergei Artemov
Epistemic modal logic normally views an epistemic situation as a Kripke model. We consider a more basic approach: to view an epistemic situation as a set W of possible states/world…