TY - BOOK AU - Gabbay Dov M TI - Investigations in modern and tense logics with applications to problems in philosophy and linguistics T2 - Synthese library ed by Jaakko Hintikka; 92 U1 - R1:(P):f, L6-;1-;2 PY - 1976/// CY - Holland PB - D Reidel Pub KW - PHILOSOPHY ER -