Decidable modal logic with undecidable admissibility problem

DOI10.1007/BF02259858zbMath0782.03005OpenAlexW2028452607MaRDI QIDQ2366361

Alexander Chagrov

Publication date: 29 June 1993

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

Full work available at URL: https://doi.org/10.1007/bf02259858

zbMATH Keywords

decidabilityinference ruleadmissible rulenormal modal logic

Mathematics Subject Classification ID

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

Related Items (7)

On rules ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Complexity of admissible rules ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ The Context of Inference ⋮ Canonical rules

Cites Work

• Logics containing K4. Part I
• Unnamed Item

This page was built for publication: Decidable modal logic with undecidable admissibility problem