Pages that link to "Item:Q1064315"
From MaRDI portal
The following pages link to Decidability of the admissibility problem in layer-finite logics (Q1064315):
Displaying 12 items.
- Lexicographic rationalizability and iterated admissibility (Q674075) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- Admissibility of logical inference rules (Q1309039) (← links)
- Cardinal admissibility and optimability in finite nonarchimedean decision theory (Q1918008) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics (Q3409447) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
