11 found
  1.  31
    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.  14
    Justifications for Common Knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
    Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   7 citations  
  3.  4
    Multicomponent Proof-Theoretic Method for Proving Interpolation Properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
  4.  16
    Grafting Hypersequents Onto Nested Sequents.Roman Kuznets & Björn Lellmann - 2016 - Logic Journal of the IGPL 24 (3):375-423.
  5.  39
    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   2 citations  
  6.  8
    Weak Arithmetical Interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
  7.  10
    Modal Interpolation Via Nested Sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
  8.  13
    Maehara-Style Modal Nested Calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.
    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 (5 more)  
    Export citation  
  9.  35
    Lower Complexity Bounds in Justification Logic.Samuel R. Buss & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (7):888-905.
  10. On Self-Referentiality in Modal Logic.Roman Kuznets - 2006 - Bulletin of Symbolic Logic 12 (3).
  11.  4
    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