The following pages link to Sergej N. Artemov (Q1317985):
Displaying 50 items.
- (Q392269) (redirect page) (← links)
- Logical omniscience as infeasibility (Q392271) (← links)
- (Q454363) (redirect page) (← links)
- The ontology of justifications in the logical setting (Q454364) (← links)
- Modal logics with several operators and probability interpretations (Q579232) (← links)
- Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday (Q638481) (← links)
- The completeness of provable realizability (Q916636) (← links)
- Interpretability of various extensions of arithmetic (Q1095138) (← links)
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- The number of proof lines and the size of proofs in first order logic (Q1102280) (← links)
- The number of nonnormal extensions of S4 (Q1104919) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- Logic of proofs (Q1326774) (← links)
- Constructive knowledge and the justified true belief paradigm (Q1688952) (← links)
- Justification awareness models (Q1709686) (← links)
- Church's thesis from the point of view of provability interpretation (Q1823243) (← links)
- Data storage interpretation of labeled modal logic (Q1919761) (← links)
- Observable models (Q2177576) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Justified common knowledge (Q2500478) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- Binding modalities (Q2804339) (← links)
- (Q2939495) (← links)
- (Q2939498) (← links)
- The Logic of Justification (Q2971696) (← links)
- (Q3007238) (← links)
- Finite Kripke models and predicate logics of provability (Q3211282) (← links)
- (Q3218104) (← links)
- Introducing Justification into Epistemic Logic (Q3371155) (← links)
- (Q3447197) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Justification Logic (Q3532452) (← links)
- The topology of justification (Q3534982) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Tracking Evidence (Q3585997) (← links)
- Logical Omniscience Via Proof Complexity (Q3613333) (← links)
- (Q3731573) (← links)
- (Q3743302) (← links)
- ON MODAL LOGICS AXIOMATIZING PROVABILITY (Q3749039) (← links)
- Arithmetically complete modal theories (Q3752370) (← links)
- (Q3757914) (← links)
- (Q3768879) (← links)
- (Q3795673) (← links)
- (Q3809769) (← links)
- Degrees of insolubility of extensions of arithmetic by true propositions (Q3813816) (← links)
- (Q3824287) (← links)
- (Q3912553) (← links)
- (Q3964565) (← links)
