Bookmark Saya

arXiv Open Access 2022

Complexity of the variable-free fragment of the weak Grzegorczyk logic

Irina Agadzhanian Mikhail Rybakov
Lihat Sumber

Abstrak

The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.

Topik & Kata Kunci

math.LO

Penulis (2)

I

Irina Agadzhanian

M

Mikhail Rybakov

Format Sitasi

APA MLA BibTeX
Agadzhanian, I., Rybakov, M. (2022). Complexity of the variable-free fragment of the weak Grzegorczyk logic. https://arxiv.org/abs/2211.14571

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2022
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓