Unifiers in transitive modal logics for formulas with coefficients (meta-variables)

DOI10.1093/JIGPAL/JZS038zbMath1278.03050OpenAlexW2074068414MaRDI QIDQ4925168

Vladimir Vladimirovich Rybakov

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs038

zbMATH Keywords

unificationadmissible rulesmodal logicsbest unifiersmost general unifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (5)

Admissibility and unification in the modal logics related to S4.2 ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Rules with parameters in modal logic. I.

This page was built for publication: Unifiers in transitive modal logics for formulas with coefficients (meta-variables)