Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics

DOI10.1007/S10469-005-0024-XzbMath1106.03013OpenAlexW2028160291MaRDI QIDQ3409447

Anna Vladimirovna Kosheleva

Publication date: 17 November 2006

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-005-0024-x

zbMATH Keywords

decidabilityinference rulepolymodal logicadmissibility problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics