Admissible Rules of Modal Logics
From MaRDI portal
Recommendations
- An explicit basis for admissible rules of modal logics of finite width
- On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
- Bases of admissible rules in modal logics S4.2 and S4.2Grz
- Construction of an explicit basis for rules admissible in modal system S4
Cited in
(73)- Substitution Frege and extended Frege proof systems in non-classical logics
- Proof theory for admissible rules
- Admissible rules for logics containing S4.3
- Modal logics with the MacIntosh rule
- Some admissible rules in nonnormal modal systems
- Bases of admissible rules in modal logics S4.2 and S4.2Grz
- Admissibility in positive logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Sugihara algebras: admissibility algebras via the test spaces method
- Deductive systems with multiple-conclusion rules and the disjunction property
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Rules with parameters in modal logic. I.
- Admissibility via natural dualities
- Admissibility in De Morgan algebras
- Frege systems for extensible modal logics
- On rules
- Admissible rules for six intuitionistic modal logics
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Construction of an explicit basis for rules admissible in modal system S4
- Almost structural completeness; an algebraic approach
- Admissible bases via stable canonical rules
- A syntactic approach to unification in transitive reflexive modal logics
- Admissible rules: from characterizations to applications
- A meta-logic of inference rules: syntax
- Consequence relations and admissible rules
- A tableau method for checking rule admissibility in S4
- Structural completeness in propositional logics of dependence
- Hypersequent rules with restricted contexts for propositional modal logics
- UNIFICATION IN INTERMEDIATE LOGICS
- Tutorial on admissible rules in Gudauri
- A note on extensions: admissible rules via semantics
- 2006–07 Winter Meeting of the Association for Symbolic Logic
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- scientific article; zbMATH DE number 5640556 (Why is no real title available?)
- Canonical rules
- Well-behaved modal logics
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- On unification and admissible rules in Gabbay-de Jongh logics
- scientific article; zbMATH DE number 589738 (Why is no real title available?)
- Bases of admissible rules for K-saturated logics
- Checking admissibility using natural dualities
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
- scientific article; zbMATH DE number 2097569 (Why is no real title available?)
- Admissibility and refutation: some characterisations of intermediate logics
- scientific article; zbMATH DE number 877757 (Why is no real title available?)
- On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
- An explicit basis for admissible rules of modal logics of finite width
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Multiple conclusion rules in logics with the disjunction property
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
- Preservation of admissible rules when combining logics
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Proof complexity of non-classical logics
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Admissibility and unification in the modal logics related to S4.2
- Admissible inference rules of modal WCP-logics
- An explicit basis for \textit{WCP}-globally admissible inference rules
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Best unifiers in transitive modal logics
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Basis of globally admissible rules for logic S4
- Relative unification in intuitionistic logic: towards the provability logic of HA
- Decidability of global admissibility of inference rules in logic S4
- Unification in subsystems of polymodal provability logic GLP
- On the unification problem for \(\operatorname{GLP} \)
- Unification in linear temporal logic LTL
- Admissible inference rules and semantic property of modal logics
- Complexity of admissible rules
- 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
- Linear temporal logic with until and next, logical consecutions
This page was built for publication: Admissible Rules of Modal Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696300)
