Admissible inference rules of modal WCP-logics (Q6193927)
From MaRDI portal
scientific article; zbMATH DE number 7804699
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Admissible inference rules of modal WCP-logics |
scientific article; zbMATH DE number 7804699 |
Statements
Admissible inference rules of modal WCP-logics (English)
0 references
14 February 2024
0 references
modal logic
0 references
Kripke frame
0 references
Kripke model
0 references
admissible inference rule
0 references
basis of admissible rules
0 references
0 references
