On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\) (Q6639563)
From MaRDI portal
!
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 7945572
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\) |
scientific article; zbMATH DE number 7945572 |
Statements
On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\) (English)
0 references
15 November 2024
0 references
common knowledge
0 references
algebraic semantics
0 references
topological semantics
0 references
local and global consequence relations
0 references
infinitary derivations
0 references
fixed-point algebras
0 references
completions
0 references
0.7555678486824036
0 references
0.7433784604072571
0 references
0.7420419454574585
0 references
