Temporal logic and "reverse semantics"

J. Broido

    Research output: Book/ReportOther report

    38 Downloads (Pure)

    Abstract

    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".
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1995

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume233

    Fingerprint

    Dive into the research topics of 'Temporal logic and "reverse semantics"'. Together they form a unique fingerprint.

    Cite this