Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?

Springer Science and Business Media LLC - Tập 8 - Trang 477-478 - 1979
Hirokazu Nishimura1
1Kyoto University, Kyoto, Japan

Tài liệu tham khảo

Gabbay, D. M., Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel (1976). Kamp, H., ‘The Logic of Historical Necessity’, J. Phil. Logic (forthcoming). Nishimura, H., ‘Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?, J. Phil. Logic (forthcoming). ThomasonR. H., ‘Indeterminist Time and Truth-value Gaps’, Theoria 36 (1970), 264–281.