Independent Bases of Admissible Rules
From MaRDI portal
Recommendations
- Independent bases for rules admissible in pretabular logics
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
- scientific article; zbMATH DE number 1534490
- Independent bases for admissible rules of pretabular modal logic and its extensions
- Bases of admissible rules of the logics S4 and Int
Cited in
(31)- Bases of admissible rules of the logics S4 and Int
- Multiagent temporal logics with multivaluations
- Admissibility in positive logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- On the proof complexity of logics of bounded branching
- Multi-agent logics with multi-valuations and intensional logical operations
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Rules with parameters in modal logic. I.
- On rules
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Admissible bases via stable canonical rules
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- Canonical rules
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Independent bases for rules admissible in pretabular logics
- Bases of admissible rules for K-saturated logics
- scientific article; zbMATH DE number 1534490 (Why is no real title available?)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Multiple conclusion rules in logics with the disjunction property
- Intermediate logics and Visser's rules
- 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
- 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
- Best unifiers in transitive modal logics
- Basis of globally admissible rules for logic S4
- Decidability of global admissibility of inference rules in logic S4
- On the universal theory of the free pseudocomplemented distributive lattice
- Unification in linear temporal logic LTL
- Independent bases for admissible rules of pretabular modal logic and its extensions
This page was built for publication: Independent Bases of Admissible Rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3508162)
