Pages that link to "Item:Q1309039"
From MaRDI portal
The following pages link to Admissibility of logical inference rules (Q1309039):
Displaying 50 items.
- Description of modal logics which enjoy co-cover property (Q2676814) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Globally admissible inference rules (Q2685547) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- On the admissible rules of intuitionistic propositional logic (Q2732279) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- The Structure of Rigid Frames of Depth 3 Only (Q3623828) (← links)
- Unification and Passive Inference Rules for Modal Logics (Q4443406) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- (Q4966006) (← links)
- (Q4966050) (← links)
- (Q4966494) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Satisfiability in Boolean Logic (SAT problem) is polynomial? (Q5071401) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- The Context of Inference (Q5208107) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
