Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators |
scientific article |
Statements
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (English)
0 references
8 July 2016
0 references
proof theory
0 references
cut-admissibility
0 references
algebra
0 references
adjoint modalities
0 references
epistemic scenarios
0 references
0 references
0 references
