11 found
Order:
  1.  21
    Realization for Justification Logics Via Nested Sequents: Modularity Through Embedding.Remo Goetschi & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (9):1271-1298.
  2.  8
    Justifications for Common Knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
  3.  9
    Grafting Hypersequents Onto Nested Sequents.Roman Kuznets & Björn Lellmann - 2016 - Logic Journal of the IGPL 24 (3):375-423.
  4.  3
    Multicomponent Proof-Theoretic Method for Proving Interpolation Properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  2
    Maehara-Style Modal Nested Calculi.Roman Kuznets & Lutz Straßburger - forthcoming - Archive for Mathematical Logic:1-27.
    We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  26
    Logical Omniscience as Infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
    Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    Lower Complexity Bounds in Justification Logic.Samuel R. Buss & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (7):888-905.
  8.  3
    Craig Interpolation Via Hypersequents.Roman Kuznets - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 193-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  4
    Modal Interpolation Via Nested Sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
  10.  2
    Weak Arithmetical Interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
  11. On Self-Referentiality in Modal Logic.Roman Kuznets - 2006 - Bulletin of Symbolic Logic 12 (3).