No label defined (Q4263489)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 1341927 |
scientific article; zbMATH DE number 1341927
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1341927 |
Statements
21 November 1999
0 references
modal logic
0 references
recursively enumerable first-order theory
0 references
provability predicate
0 references
propositional provability logics
0 references
truth provability logic
0 references
arithmetical theories
0 references
Kripke-style semantics
0 references
interpolation
0 references
0.82156533
0 references
0.7891993
0 references
0.7793758
0 references
0.7786771
0 references
