The Unrestricted Combination of Temporal Logic Systems
| Autor: | M. Angela Weiss, Marcelo Finger |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
Soundness
Discrete mathematics Computation tree logic Logic Decidability Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer Science::Logic in Computer Science Monoidal t-norm logic Completeness (logic) LÓGICA Temporal logic T-norm fuzzy logics Principle of bivalence Mathematics |
| Zdroj: | Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) Universidade de São Paulo (USP) instacron:USP |
| ISSN: | 1368-9894 1367-0751 |
| DOI: | 10.1093/jigpal/10.2.165 |
| Popis: | This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T(L) for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality. This generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination (also called fusion) of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any nite number of normal multi-modal logics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|