The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (Q5718669)
From MaRDI portal
scientific article; zbMATH DE number 2247421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable |
scientific article; zbMATH DE number 2247421 |
Statements
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable (English)
0 references
16 January 2006
0 references
intermediate predicate logic
0 references
recursive axiomatizability
0 references
finite Kripke frame
0 references
Trakhtenbrot's theorem
0 references
Kripke incompleteness
0 references
