Decidable modal logic with undecidable admissibility problem

DOI10.1007/BF02259858MaRDI QIDQ2366361zbMATH OpenOpenAlexFDO

Authors Alexander Vasil'evich 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

admissible ruledecidabilityinference rulenormal modal logic

Mathematics Subject Classification ID

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

Recommendations

• Complexity of admissible rules
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
• Proof theory for admissible rules

Cites work

• scientific article; zbMATH DE number 4130350 (Why is no real title available?)
• Logics containing K4. Part I

Cited in

(14)

• Proof theory for admissible rules
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• On rules
• Tutorial on admissible rules in Gudauri
• Canonical rules
• scientific article; zbMATH DE number 2024620 (Why is no real title available?)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• The context of inference
• Multiple conclusion rules in logics with the disjunction property
• The Deduction Theorem (Before and After Herbrand)
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability
• Undecidability of admissibility in the product of two \textbf{Alt} logics
• Complexity of admissible rules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366361)