No label defined (Q4938885)
From MaRDI portal
scientific article; zbMATH DE number 1405889
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1405889 |
Statements
23 February 2000
0 references
deontic logic
0 references
fibring logics
0 references
multi-modal logic
0 references
labelled modal logics
0 references
combining logics
0 references
normative reasoning
0 references
semantics
0 references
labelled tableau-like proofs system
0 references
