Public announcement logic in HOL (Q2055768)
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: Public announcement logic in HOL |
scientific article; zbMATH DE number 7437025
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Public announcement logic in HOL |
scientific article; zbMATH DE number 7437025 |
Statements
Public announcement logic in HOL (English)
0 references
1 December 2021
0 references
public announcement logic
0 references
relativized common knowledge
0 references
semantical embedding
0 references
higher-order logic
0 references
proof automation
0 references
0.8736706
0 references
0 references
0 references
0.8636592
0 references
0.8627341
0 references
0.86202645
0 references
0.86174035
0 references
0.86071587
0 references
