×

zbMATH — the first resource for mathematics

Kuznets, Roman

Compute Distance To:
Author ID: kuznets.roman Recent zbMATH articles by "Kuznets, Roman"
Published as: Kuznets, Roman
Homepage: https://sites.google.com/site/kuznets/
External Links: MGP · ORCID · ResearchGate · dblp
Documents Indexed: 32 Publications since 2000, including 1 Book
Reviewing Activity: 1 Review

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 121 times in 60 Documents Cited by Year
On the complexity of explicit modal logics. Zbl 0973.03075
Kuznets, Roman
16
2000
Making knowledge explicit: how hard it is. Zbl 1094.03006
Brezhnev, Vladimir; Kuznets, Roman
15
2006
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
9
2006
Self-referential justifications in epistemic logic. Zbl 1216.03037
Kuznets, Roman
9
2010
Self-referentiality of justified knowledge. Zbl 1143.03010
Kuznets, Roman
8
2008
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
7
2011
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
6
2015
Realization for justification logics via nested sequents: modularity through embedding. Zbl 1276.03020
Goetschi, Remo; Kuznets, Roman
6
2012
A syntactic realization theorem for justification logics. Zbl 1254.03029
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman
6
2010
Update as evidence: belief expansion. Zbl 1437.03069
Kuznets, Roman; Studer, Thomas
5
2013
Justifications, ontology, and conservativity. Zbl 1301.03021
Kuznets, Roman; Studer, Thomas
5
2012
Partial realization in dynamic justification logic. Zbl 1328.03014
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
5
2011
Interpolation method for multicomponent sequent calculi. Zbl 06751240
Kuznets, Roman
3
2016
The NP-completeness of reflected fragments of justification logics. Zbl 1211.03035
Buss, Samuel R.; Kuznets, Roman
3
2009
Grafting hypersequents onto nested sequents. Zbl 1405.03092
Kuznets, Roman; Lellmann, Björn
3
2016
Proving Craig and Lyndon interpolation using labelled sequent calculi. Zbl 06658169
Kuznets, Roman
3
2016
Two ways to common knowledge. Zbl 1345.03027
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2
2010
Multicomponent proof-theoretic method for proving interpolation properties. Zbl 06958073
Kuznets, Roman
2
2018
Realizing public announcements by justifications. Zbl 1327.03011
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2
2014
Realization theorems for justification logics: full modularity. Zbl 06519945
Borg, Annemarie; Kuznets, Roman
1
2015
Proof identity for classical logic: Generalizing to normality. Zbl 1133.03032
Kuznets, Roman
1
2007
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
1
2014
Lower complexity bounds in justification logic. Zbl 1243.03026
Buss, Samuel R.; Kuznets, Roman
1
2012
Interpolation for intermediate logics via hyper- and linear nested sequents. Zbl 1418.03130
Kuznets, Roman; Lellmann, Björn
1
2018
Craig interpolation via hypersequents. Zbl 1433.03054
Kuznets, Roman
1
2016
Multicomponent proof-theoretic method for proving interpolation properties. Zbl 06958073
Kuznets, Roman
2
2018
Interpolation for intermediate logics via hyper- and linear nested sequents. Zbl 1418.03130
Kuznets, Roman; Lellmann, Björn
1
2018
Interpolation method for multicomponent sequent calculi. Zbl 06751240
Kuznets, Roman
3
2016
Grafting hypersequents onto nested sequents. Zbl 1405.03092
Kuznets, Roman; Lellmann, Björn
3
2016
Proving Craig and Lyndon interpolation using labelled sequent calculi. Zbl 06658169
Kuznets, Roman
3
2016
Craig interpolation via hypersequents. Zbl 1433.03054
Kuznets, Roman
1
2016
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
6
2015
Realization theorems for justification logics: full modularity. Zbl 06519945
Borg, Annemarie; Kuznets, Roman
1
2015
Realizing public announcements by justifications. Zbl 1327.03011
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2
2014
Logical omniscience as infeasibility. Zbl 06244762
Artemov, Sergei; Kuznets, Roman
1
2014
Update as evidence: belief expansion. Zbl 1437.03069
Kuznets, Roman; Studer, Thomas
5
2013
Realization for justification logics via nested sequents: modularity through embedding. Zbl 1276.03020
Goetschi, Remo; Kuznets, Roman
6
2012
Justifications, ontology, and conservativity. Zbl 1301.03021
Kuznets, Roman; Studer, Thomas
5
2012
Lower complexity bounds in justification logic. Zbl 1243.03026
Buss, Samuel R.; Kuznets, Roman
1
2012
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
7
2011
Partial realization in dynamic justification logic. Zbl 1328.03014
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
5
2011
Self-referential justifications in epistemic logic. Zbl 1216.03037
Kuznets, Roman
9
2010
A syntactic realization theorem for justification logics. Zbl 1254.03029
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman
6
2010
Two ways to common knowledge. Zbl 1345.03027
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2
2010
The NP-completeness of reflected fragments of justification logics. Zbl 1211.03035
Buss, Samuel R.; Kuznets, Roman
3
2009
Self-referentiality of justified knowledge. Zbl 1143.03010
Kuznets, Roman
8
2008
Proof identity for classical logic: Generalizing to normality. Zbl 1133.03032
Kuznets, Roman
1
2007
Making knowledge explicit: how hard it is. Zbl 1094.03006
Brezhnev, Vladimir; Kuznets, Roman
15
2006
Logical omniscience via proof complexity. Zbl 1225.03016
Artemov, Sergei; Kuznets, Roman
9
2006
On the complexity of explicit modal logics. Zbl 0973.03075
Kuznets, Roman
16
2000

Citations by Year