Secrecy Logic: Protoalgebraic S-Secrecy Logics (Q5412170)
From MaRDI portal
scientific article; zbMATH DE number 6288733
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Secrecy Logic: Protoalgebraic S-Secrecy Logics |
scientific article; zbMATH DE number 6288733 |
Statements
25 April 2014
0 references
secrecy logic
0 references
protoalgebraic logic
0 references
Secrecy Logic: Protoalgebraic S-Secrecy Logics (English)
0 references
