The Realization Theorem for S5 A Simple, Constructive Proof (Q5261292)
From MaRDI portal
scientific article; zbMATH DE number 6455142
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Realization Theorem for S5 A Simple, Constructive Proof |
scientific article; zbMATH DE number 6455142 |
Statements
The Realization Theorem for S5 A Simple, Constructive Proof (English)
0 references
3 July 2015
0 references
realization theorem
0 references
justification logics
0 references
