The Unrestricted Combination of Temporal Logic Systems

Abstract

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… (More)
DOI: 10.1093/jigpal/10.2.165

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics