No label defined (Q5878364)
From MaRDI portal
scientific article; zbMATH DE number 7655700
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7655700 |
Statements
21 February 2023
0 references
deontic logic
0 references
\textsf{STIT} logic
0 references
ought implies can
0 references
labelled sequent calculus
0 references
