The following pages link to Roman Kuznets (Q392270):
Displaying 43 items.
- Logical omniscience as infeasibility (Q392271) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- Modal interpolation via nested sequents (Q487689) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Epistemic reasoning with Byzantine-faulty agents (Q2180234) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- (Q2753686) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- A syntactic realization theorem for justification logics (Q2904046) (← links)
- Partial Realization in Dynamic Justification Logic (Q3003345) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Interpolation for intermediate logics via injective nested sequents (Q3382808) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Update as Evidence: Belief Expansion (Q3455850) (← links)
- Self-referentiality of Justified Knowledge (Q3503641) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Logical Omniscience Via Proof Complexity (Q3613333) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- Weak arithmetical interpretations for the Logic of Proofs (Q4644547) (← links)
- Decidability for Justification Logics Revisited (Q4914518) (← links)
- (Q5018518) (← links)
- (Q5039162) (← links)
- Craig Interpolation via Hypersequents (Q5221855) (← links)
- (Q5224582) (← links)
- (Q5232011) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- (Q5419893) (← links)
- Proof Identity for Classical Logic: Generalizing to Normality (Q5434518) (← links)
- (Q5884954) (← links)
- Impure Simplicial Complexes: Complete Axiomatization (Q6076177) (← links)
- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation (Q6512110) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- Minimizing agents' state corruption resulting from leak-free epistemic communication modeling (Q6630194) (← links)
- Fire! (Q6642572) (← links)
- Consistent Update Synthesis via Privatized Beliefs (Q6732660) (← links)
