Bases of admissible inference rules in tabular modal logics of depth 2 (Q2709317)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bases of admissible inference rules in tabular modal logics of depth 2 |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bases of admissible inference rules in tabular modal logics of depth 2 |
scientific article |
Statements
24 July 2001
0 references
modal algebras
0 references
bases of quasi-identities
0 references
tabular modal logic
0 references
finite basis of admissible inference rules
0 references
Bases of admissible inference rules in tabular modal logics of depth 2 (English)
0 references
