EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097)
From MaRDI portal
scientific article; zbMATH DE number 7499531
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes |
scientific article; zbMATH DE number 7499531 |
Statements
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (English)
0 references
29 March 2022
0 references
relevant logics
0 references
modal logics
0 references
many-valued logics
0 references
Belnap-Dunn semantics
0 references
modal paradoxes
0 references
4-valued modal logics
0 references
0 references
0 references
0 references
