Rules of inference with parameters for intuitionistic logic
From MaRDI portal
Publication:4032871
Recommendations
Cited in
(39)- The decidability of dependency in intuitionistic propositional logic
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- A tableau method for checking rule admissibility in S4
- scientific article; zbMATH DE number 5041127 (Why is no real title available?)
- Admissibility and unification in the modal logics related to S4.2
- Multiagent temporal logics, unification problems, and admissibilities
- Notes on my scientific life
- 1995–1996 Winter Meeting of the Association for Symbolic Logic
- Intermediate logics and Visser's rules
- Admissible bases via stable canonical rules
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Canonical extensions, Esakia spaces, and universal models
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- On the admissible rules of intuitionistic propositional logic
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Dynamic temporal logical operations in multi-agent logics
- Describing a basis in semireduced form for inference rules of intuitionistic logic
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- scientific article; zbMATH DE number 3557753 (Why is no real title available?)
- Linear temporal logic with until and next, logical consecutions
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Multi-agent temporal logics, information, unification, and projectivity
- On Finite Model Property for Admissible Rules
- Inference rules in multi-agents' temporal logics
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Best unifiers in transitive modal logics
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Admissible Rules of Lukasiewicz Logic
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Extendible formulas in two variables in intuitionistic logic
- Rules and meta-rules in the framework of possibility theory and possibilistic logic
- Unification in linear temporal logic LTL
- Rules with parameters in modal logic. I.
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- The context of inference
- The permutability of rules in the classical inferential calculus
This page was built for publication: Rules of inference with parameters for intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032871)