|
This article is cited in 9 scientific papers (total in 9 papers)
On the complexity of the closed fragment of Japaridze's provability logic
F. Pakhomov Steklov Mathematical Institute, Gubkina str. 8,
119991 Moscow, Russia
Received: 28.05.2013 Accepted: 14.08.2014
Linking options:
https://www.mathnet.ru/eng/aml1
|
Statistics & downloads: |
Abstract page: | 57 |
|