A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (Q3295786)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence |
scientific article |
Statements
A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (English)
0 references
13 July 2020
0 references
Jaśkowski's logic \(\mathbf{D}_{\mathbf{2}}\)
0 references
\(\mathbf{D}_{\mathbf{2}}\)-consequence
0 references
deducibility in \(\mathbf{D}_{\mathbf{2}}\)
0 references
