On the positive fragment of the polymodal provability logic GLP (Q2435945)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the positive fragment of the polymodal provability logic GLP |
scientific article |
Statements
On the positive fragment of the polymodal provability logic GLP (English)
0 references
21 February 2014
0 references
graded provability logic
0 references
GLP
0 references
equational calculus
0 references
deductive system
0 references
Kripke semantics
0 references
complexity of a decision procedure
0 references
