Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
From MaRDI portal
Publication:3520233
DOI10.1093/logcom/exm078zbMath1149.03017MaRDI 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
algorithms; decidability; temporal logic; admissible rules; linear temporal logic; inference rules; logical consecutions
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
KD is nullary, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Best unifiers in transitive modal logics, Unification in linear temporal logic LTL, Multiagent temporal logics with multivaluations, Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras, Multi-agent logics with multi-valuations and intensional logical operations, Inference rules in Nelson's logics, admissibility and weak admissibility, Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification