Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Shamkanov, Daniyar
14  Ergebnisse:
Personensuche X
?
1

On algebraic and topological semantics of the modal logic o..:

Shamkanov, Daniyar
Logic Journal of the IGPL.  32 (2022)  1 - p. 164-179 , 2022
Link: https://doi.org/10.1093/..
 
?
2

NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC:

SAVATEEV, YURY ; SHAMKANOV, DANIYAR
The Review of Symbolic Logic.  14 (2020)  1 - p. 22-50 , 2020
Link: https://doi.org/10.1017/..
 
?
3

NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY L..:

SHAMKANOV, DANIYAR
The Review of Symbolic Logic.  13 (2019)  4 - p. 776-796 , 2019
Link: https://doi.org/10.1017/..
 
?
4

Cut Elimination for the Weak Modal Grzegorczyk Logic via No..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Savateev, Yury ; Shamkanov, Daniyar - p. 569-583 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Nested sequents for provability logic GLP: FIG. 1:

Shamkanov, Daniyar
Logic Journal of IGPL.  23 (2015)  5 - p. 789-815 , 2015
Link: https://doi.org/10.1093/..
 
?
6

Interpolation properties for provability logics GL and GLP:

Shamkanov, Daniyar S.
Proceedings of the Steklov Institute of Mathematics.  274 (2011)  1 - p. 303-316 , 2011
Link: https://doi.org/10.1134/..
 
?
7

On structural proof theory of the modal logic K+ extended w..:

Shamkanov, Daniyar
http://arxiv.org/abs/2310.10309.  , 2023
Link: http://arxiv.org/abs/231..
 
?
8

On algebraic and topological semantics of the modal logic o..:

Shamkanov, Daniyar
http://arxiv.org/abs/2111.05676.  , 2021
Link: http://arxiv.org/abs/211..
 
?
9

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic:

Savateev, Yury ; Shamkanov, Daniyar
http://arxiv.org/abs/1804.00955.  , 2018
Link: http://arxiv.org/abs/180..
 
?
10

Cut Elimination for Weak Modal Grzegorczyk Logic via Non-We..:

Savateev, Yury ; Shamkanov, Daniyar
http://arxiv.org/abs/1804.01432.  , 2018
Link: http://arxiv.org/abs/180..
 
?
11

Cut-elimination for the modal Grzegorczyk logic via non-wel..:

Savateev, Yury ; Shamkanov, Daniyar
http://arxiv.org/abs/1704.03258.  , 2017
Link: http://arxiv.org/abs/170..
 
?
12

Some abstract versions of G\"odel's second incompleteness t..:

Beklemishev, Lev ; Shamkanov, Daniyar
http://arxiv.org/abs/1602.05728.  , 2016
Link: http://arxiv.org/abs/160..
 
?
13

Nested Sequents for Provability Logic GLP:

Shamkanov, Daniyar
http://arxiv.org/abs/1410.6652.  , 2014
Link: http://arxiv.org/abs/141..
 
?
14

Circular Proofs for G\"odel-L\"ob Logic:

Shamkanov, Daniyar
http://arxiv.org/abs/1401.4002.  , 2014
Link: http://arxiv.org/abs/140..
 
1-14