e-space
Manchester Metropolitan University's Research Repository

Multi-modal and temporal logics with universal formula—reduction of admissibility to validity and unification

Rybakov, Vladimir V. (2008) Multi-modal and temporal logics with universal formula—reduction of admissibility to validity and unification. Journal of logic and computation, 18 (4). pp. 509-519. ISSN 1465-363X

Full text not available from this repository.

Abstract

The article studies multi-modal (in particular temporal, tense, logics) possessing universal formulas. We prove (Theorems 11 and 12) that the admissibility problem for inference rules (inference rules with parameters) is decidable for all decidable multi-modal (in particular, temporal) logics possessing an universal formula and decidable w.r.t. unification (unification with parameters). These theorems use characterizations of admissible rules in terms of valid rules and unifiable formulas. Results are applied to wide range of multi-modal logics, including all linear transitive temporal logics, all temporal logics with bounded zigzag, all multi-modal logics with explicit universal modality. As consequence, we show that the admissibility problem for all such logics is decidable (e.g. for all logics of the series S4nU, n N).

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
268Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item View Item