A Counterexample in Tense Logic

Notre Dame Journal of Formal Logic

Volumn 37, Issue 2, 1996, Pages 167-173

  Wolter, Frank ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85009834209     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040046085     Document Type: Article

References (6)

1. Fine, K., “Logics containing K4, Part I,” The Journal of Symbolic Logic, vol. 39(1974), pp. 229-237.
2. Fine, K., “Logics containing K4, Part II,” The Journal of Symbolic Logic, vol. 50(1985), pp. 619-651.
3. Wolter, F., “The finite model property in tense logic,” The Journal of Symbolic Logic, vol. 60 (1995), pp. 757-774.
4. Wolter, F., “Completeness and decidability of tense logics closely related to logics above K4,” forthcoming in The Journal of Symbolic Logic.
5. Wolter, F., “Tense Logic without tense operators,” Mathematical Logic Quarterly, vol. 42 (1996), pp. 145-171.
6. Zakharyaschev, M., “Canonical formulas for K4, Part I,” The Journal of Symbolic Logic, vol. 57 (1992), pp. 377-402.