Switch to: References

Add citations

You must login to add citations.
  1. Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
    This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.
    The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
    Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...
    Download  
     
    Export citation  
     
    Bookmark   27 citations