Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4193649
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable |
scientific article; zbMATH DE number 4193649 |
Statements
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (English)
0 references
1990
0 references
The author considers modal logics whose intermediate fragments lie between the logic of infinite problems and the Medvedev logic of finite problems. There is a continuum of such logics. He proves that none of them is finitely axiomatizable. The proof is based on some graph- theoretic constructions (operations on coverings, and colourings).
0 references
Prucnal's logic
0 references
modal logics
0 references
intermediate fragments
0 references
logic of infinite problems
0 references
Medvedev logic of finite problems
0 references
coverings
0 references
colourings
0 references
0.8115149736404419
0 references
0.8115149736404419
0 references
0.7924125790596008
0 references
0.777427613735199
0 references
0.7745208144187927
0 references
