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

    File not available for download.

    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

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    384Hits

    Additional statistics for this dataset are available via IRStats2.

    Altmetric

    Repository staff only

    Edit record Edit record