The Unrestricted Combination of Temporal Logic Systems


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


Figures and Tables

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

Slides referencing similar topics