Interacting explicit evidence systems (Q929292)
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: Interacting explicit evidence systems |
scientific article; zbMATH DE number 5288691
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interacting explicit evidence systems |
scientific article; zbMATH DE number 5288691 |
Statements
Interacting explicit evidence systems (English)
0 references
17 June 2008
0 references
justification logic
0 references
explicit evidence
0 references
logic of proofs
0 references
multi-modal logic
0 references
epistemic logic
0 references
0.82208407
0 references
0 references
0.80680835
0 references
0.80509967
0 references
0.80273473
0 references
0.8026488
0 references
