scientific article; zbMATH DE number 1396691
From MaRDI portal
Publication:4936643
zbMath0930.03020MaRDI QIDQ4936643
No author found.
Publication date: 31 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
framefinite basis of admissible inference rulesfinitely approximable modal logicresidually finite modal logic
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Quasivarieties (08C15)
Related Items (5)
Unnamed Item ⋮ Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Admissible inference rules of modal WCP-logics ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules ⋮ An explicit basis for admissible inference rules in table modal logics of width 2
This page was built for publication:
