Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics |
scientific article |
Statements
Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (English)
0 references
19 December 2022
0 references
modal logic
0 references
Makinson
0 references
equivalence between logics
0 references
notational variance
0 references
translations
0 references
translational embeddings
0 references
classical propositional logic
0 references
consequence relations
0 references
extensional logics
0 references
