Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification

DOI10.1093/logcom/exm078zbMath1149.03017OpenAlexW2168026495MaRDI QIDQ3520233

Vladimir Vladimirovich Rybakov

Publication date: 15 August 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ada75ed36ccd48ddcd65c32b7f14023c960c8d74

zbMATH Keywords

algorithmsdecidabilitytemporal logicadmissible ruleslinear temporal logicinference ruleslogical consecutions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (10)

Multiagent temporal logics with multivaluations ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ KD is nullary ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ Best unifiers in transitive modal logics ⋮ Unification in linear temporal logic LTL ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility

This page was built for publication: Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification