No label defined (Q4273486)
From MaRDI portal
scientific article; zbMATH DE number 475245
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 475245 |
Statements
31 October 1994
0 references
weak model-theoretic forcing
0 references
generic set theorem
0 references
generic model theorem
0 references
Henrard's theorem
0 references
updating
0 references
deductive database
0 references
incomplete information
0 references
pragmatic truth
0 references
generalized forcing
0 references
minimal entailment
0 references
