Temporal logic and "reverse semantics"

Broido, J. (1995) Temporal logic and "reverse semantics". [Report]
Copy

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".


picture_as_pdf
CSTR+233.pdf

View Download

EndNote BibTeX Reference Manager Refer Atom Dublin Core RIOXX2 XML MODS MPEG-21 DIDL OPENAIRE OpenURL ContextObject HTML Citation ASCII Citation METS OpenURL ContextObject in Span Data Cite XML
Export

Downloads