2 Responses to “Q: Reference on temp.modal logic”

1. admin says:

   December 31 at 8:56 am

   In <4ap4u3$…@news.rwth-aachen.de>, Ulrike Sattler <u…@cantor.informatik.rwth-aachen.de> writes:
   

   >Hi,

   >i am looking for a (not too old) overview on temporal modal logic or on modal
   >logic with temporal aspects…

   Two references that jump out at me from the shelves behind me,
   are…

      The Logic of Time
         Johan van Brenthem
         ISBN: 0-7923-1081-0
         Second edition, 1991 (first in 1983)
         Kluwer Academic Publishers

   and…

      The Logics of Time and Computation
         Robert Goldblatt (r…@math.vuw.ac.nz)
         ISBN: 0-937073-94-6
         second edition, 1992
         Lecture Notes # 7
         Center for the Study of Language and Information

   Michael Lee Finney
2. admin says:

   December 31 at 8:56 am

   Try e.g. R. Thomason, Combining Time and Modalities, in: Handbook of
   Philosophical Logic, Vol. 2, eds. Gabbay/ Guenthner, Reidel 1984.