Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Daniyar S. Shamkanov

> Home > Persons

Person information

affiliation: Steklov Mathematical Institute of Russian Academy of Sciences, Russia.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Shamkanov24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Shamkanov24
Daniyar S. Shamkanov:
On algebraic and topological semantics of the modal logic of common knowledge S4CI. Log. J. IGPL 32(1): 164-179 (2024)
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/SavateevS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/SavateevS21
Yury Savateev, Daniyar S. Shamkanov:
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic. Rev. Symb. Log. 14(1): 22-50 (2021)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Shamkanov20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Shamkanov20
Daniyar S. Shamkanov:
Non-Well-Founded Derivations in the Gödel-löB Provability Logic. Rev. Symb. Log. 13(4): 776-796 (2020)
[c5]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/Shamkanov20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Shamkanov20
Daniyar S. Shamkanov:
Global Neighbourhood Completeness of the Provability Logic GLP. AiML 2020: 581-596

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/SavateevS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/SavateevS19
Yury Savateev, Daniyar S. Shamkanov:
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. WoLLIC 2019: 569-583
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/SavateevS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/SavateevS17
Yury Savateev, Daniyar S. Shamkanov:
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. WoLLIC 2017: 321-335
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Shamkanov17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Shamkanov17
Daniyar S. Shamkanov:
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. WoLLIC 2017: 358-370
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Shamkanov15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Shamkanov15
Daniyar S. Shamkanov:
Nested sequents for provability logic GLP. Log. J. IGPL 23(5): 789-815 (2015)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Shamkanov14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Shamkanov14
Daniyar S. Shamkanov:
Circular Proofs for Gödel-Löb Logic. CoRR abs/1401.4002 (2014)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Shamkanov14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Shamkanov14a
Daniyar S. Shamkanov:
Nested Sequents for Provability Logic GLP. CoRR abs/1410.6652 (2014)
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Shamkanov11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Shamkanov11
Daniyar S. Shamkanov:
Strong Normalization and Confluence for Reflexive Combinatory Logic. WoLLIC 2011: 228-238

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.