Saturation method for reflexive common knowledge logic (Q3464010)
From MaRDI portal
!
WARNING
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 6533402
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Saturation method for reflexive common knowledge logic |
scientific article; zbMATH DE number 6533402 |
Statements
20 January 2016
0 references
saturation method
0 references
common knowledge logic
0 references
reflexive common knowledge logic
0 references
0.7632920742034912
0 references
0.7631590962409973
0 references
0.7215260863304138
0 references
0.7135218381881714
0 references
0.7120909690856934
0 references
