Canonical rules

DOI10.2178/JSL/1254748686zbMath1186.03045OpenAlexW4239202159WikidataQ115920186 ScholiaQ115920186MaRDI QIDQ3655251

Emil Jeřábek

Publication date: 7 January 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1254748686

zbMATH Keywords

modal logicinference ruleintermediate logicadmissible rule.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (19)

On rules ⋮ Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Admissible bases via stable canonical rules ⋮ Admissibility in positive logics ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ A meta-logic of inference rules: Syntax ⋮ Cofinal stable logics ⋮ Rules with parameters in modal logic. II. ⋮ Computational complexity for bounded distributive lattices with negation ⋮ STABLE MODAL LOGICS ⋮ The bounded proof property via step algebras and step frames ⋮ Complexity of the universal theory of modal algebras ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ On the Blok-Esakia Theorem ⋮ Characteristic inference rules ⋮ Rules with parameters in modal logic. I.

Cites Work

• Unnamed Item
• Unnamed Item
• Intermediate logics and Visser's rules
• An almost general splitting theorem for modal logic
• Complexity of admissible rules
• A lattice of normal modal logics
• Best solving modal equations
• Decidable modal logic with undecidable admissibility problem
• On the rules of intermediate logics
• Frege systems for extensible modal logics
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
• Independent Bases of Admissible Rules
• Splitting lattices of logics
• Canonical formulas for K4. Part I: Basic results
• Unification in intuitionistic logic
• Tense Logic Without Tense Operators
• Logical consecutions in discrete linear temporal logic
• Admissible Rules of Modal Logics
• Unification of concept terms in description logics

This page was built for publication: Canonical rules