Some properties of epistemic set theory with collection (Q3783286)
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: Some properties of epistemic set theory with collection |
scientific article; zbMATH DE number 4045732
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Some properties of epistemic set theory with collection |
scientific article; zbMATH DE number 4045732 |
Statements
Some properties of epistemic set theory with collection (English)
0 references
1986
0 references
modal logic S4
0 references
epistemic set theory with collection
0 references
intuitionistic set theory
0 references
Heyting's predicate calculus
0 references
0.7784212231636047
0 references
0.7781500220298767
0 references
0.7639790177345276
0 references
0.7629585266113281
0 references
0.7549815773963928
0 references
