Independent bases for admissible rules of pretabular modal logic and its extensions

DOI10.17377/SEMI.2013.10.008zbMath1330.03046MaRDI QIDQ890977

N. E. Zubov

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

admissible inference rule(pretabular) modal logicbases for admissible rulesframe (model) Kripke

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (4)

Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Globally admissible inference rules ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules ⋮ Unification in pretabular extensions of S4

This page was built for publication: Independent bases for admissible rules of pretabular modal logic and its extensions