Temporal logic and "reverse semantics"
Broido, J.
(1995)
Temporal logic and "reverse semantics".
University of Hertfordshire.
This paper examines the relationships between certain types of linear frames and their alleged "temporal" Logics, S4.3 and S4.3.1, and shows how abnormal these relations are in comparison with common Modal Logics and the frame-types normally associated with them. Inasmuch as one refuses to regard as temporal structures any but one directional linear frames, the paper will disqualify such or other propositional logics from being strictly "temporal".
Item Type | Other |
---|---|
Date Deposited | 26 Jul 2024 19:58 |
Last Modified | 26 Jul 2024 19:58 |
Downloads
-
picture_as_pdf - CSTR 233.pdf
Share this file
Explore Further
Read more research from the creator(s):
Find work associated with the faculties and division(s):