scientific article; zbMATH DE number 1156788

zbMath0897.03016MaRDI QIDQ4390775

No author found.

Publication date: 19 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

clusterquasi-identityframeKripke modeltabular modal logicfinite basis of admissible inference rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Quasivarieties (08C15)

Related Items (2)

Bases of admissible rules for \(K\)-saturated logics ⋮ Table admissible inference rules

This page was built for publication: