Admissible Rules of Modal Logics (Q5696300)
From MaRDI portal
scientific article; zbMATH DE number 2215470
Language | Label | Description | Also known as |
---|---|---|---|
English | Admissible Rules of Modal Logics |
scientific article; zbMATH DE number 2215470 |
Statements
Admissible Rules of Modal Logics (English)
0 references
18 October 2005
0 references
modal logic
0 references
admissible rules
0 references
projective formula
0 references
Kripke structures
0 references