scientific article
From MaRDI portal
Publication:2709317
zbMath0972.03020MaRDI QIDQ2709317
No author found.
Publication date: 24 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal algebrastabular modal logicbases of quasi-identitiesfinite basis of admissible inference rules
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Free algebras (08B20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (2)
Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Unification in pretabular extensions of S4
This page was built for publication:
