Semantic admissibility criteria for deduction rules in S4 and Int (Q1189069)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantic admissibility criteria for deduction rules in S4 and Int |
scientific article |
Statements
Semantic admissibility criteria for deduction rules in S4 and Int (English)
0 references
26 September 1992
0 references
See the review in Zbl 0729.03013.
0 references
modal logic S4
0 references
admissible inference rules
0 references
intuitionistic logic
0 references
Kripke models
0 references