Skip Navigation

Logic Journal of IGPL 2002 10(2):165-189; doi:10.1093/jigpal/10.2.165
© 2002 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Finger, M.
Right arrow Articles by Weiss, M. A.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Original Article

The Unrestricted Combination of Temporal Logic Systems

Marcelo Finger1 and M. Angela Weiss2

1 Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo, SP, Brazil. E-mail: mfinger{at}ime.usp.br 2 Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo, SP, Brazil. E-mail: weiss{at}ime.usp.br

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 finite number of normal multi-modal logics.

Key Words: Temporal Logics, Combinations of Logical Systems, Completeness of Combination of Logical Systems, Decidability of Combination of Logical Systems

Received 30 October 2001. Revised 12 March 2002.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.