University of Hertfordshire

Temporal logic and "reverse semantics"

Research output: Book/ReportOther report


  • J. Broido
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1995

Publication series

NameUH Computer Science Technical Report
PublisherUniversity 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".

ID: 95198