scientific article; zbMATH DE number 3959387
From MaRDI portal
Publication:3727965
Recommendations
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- scientific article; zbMATH DE number 4130350
- scientific article; zbMATH DE number 4204318
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
Cited in
(32)- Decidability of the admissibility problem in layer-finite logics
- Admissible rules for logics containing S4.3
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Bases of admissible rules of the logics S4 and Int
- Admissibility of logical inference rules
- On self-admissible quasi-characterizing inference rules
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Rules with parameters in modal logic. I.
- Globally admissible inference rules
- On the admissible rules of intuitionistic propositional logic
- A tableau method for checking rule admissibility in S4
- scientific article; zbMATH DE number 3864542 (Why is no real title available?)
- scientific article; zbMATH DE number 4204318 (Why is no real title available?)
- Admissible tools in the kitchen of intuitionistic logic
- A note on globally admissible inference rules for modal and superintuitionistic logics
- scientific article; zbMATH DE number 4164801 (Why is no real title available?)
- An admissibility criterion for inference rules with metavariables in the modal logic S4._N
- scientific article; zbMATH DE number 5379366 (Why is no real title available?)
- scientific article; zbMATH DE number 3976988 (Why is no real title available?)
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
- Rules of inference with parameters for intuitionistic logic
- scientific article; zbMATH DE number 1163390 (Why is no real title available?)
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
- scientific article; zbMATH DE number 877757 (Why is no real title available?)
- Computer Science Logic
- The permutability of rules in the classical inferential calculus
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Logical equations and admissible rules of inference with parameters in modal provability logics
- Admissible inference rules and semantic property of modal logics
- Complexity of admissible rules
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3727965)
