Best unifiers in transitive modal logics

DOI10.1007/S11225-011-9354-YMaRDI QIDQ647403zbMATH OpenOpenAlexFDO

Authors Vladimir Rybakov

Publication date 23 November 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9354-y

zbMATH Keywords

admissible rulesbest unifiersmodal logicsunification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Transparent unifiers in modal logics with self-conjugate operators
• scientific article; zbMATH DE number 1189062
• Unification in first-order transitive modal logic
• Filtering unification and most general unifiers in modal logic

Cites work

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• A Machine-Oriented Logic Based on the Resolution Principle
• A tableau method for checking rule admissibility in S4
• Admissible Rules of Lukasiewicz Logic
• Admissible Rules of Modal Logics
• Best solving modal equations
• Complexity of finite-variable fragments of EXPTIME-complete logics
• Computer Science Logic
• Fast algorithms for uniform semi-unification
• Handbook of modal logic
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Independent Bases of Admissible Rules
• Linear temporal logic LTL: basis for admissible rules
• Linear temporal logic with until and next, logical consecutions
• Logical equations and admissible rules of inference with parameters in modal provability logics
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• On the admissible rules of intuitionistic propositional logic
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Proof theory for admissible rules
• Rules of inference with parameters for intuitionistic logic
• Temporal logic and state systems
• Term Rewriting and All That
• Unification in a description logic with transitive closure of roles
• Unification in intuitionistic logic
• Unification in linear temporal logic LTL
• Unification in the description logic EL
• Unification of concept terms in description logics
• Unification theory
• Unification through projectivity
• Unification, finite duality and projectivity in varieties of Heyting algebras

Cited in

(11)

• Unification in pretabular extensions of S4
• A syntactic approach to unification in transitive reflexive modal logics
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Unification in first-order transitive modal logic
• Filtering unification and most general unifiers in modal logic
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Transparent unifiers in modal logics with self-conjugate operators
• Projective unification in weakly transitive and weakly symmetric modal logics
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)

This page was built for publication: Best unifiers in transitive modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647403)