Show simple item record

dc.contributor.authorBroido, J.
dc.date.accessioned2010-11-18T15:17:12Z
dc.date.available2010-11-18T15:17:12Z
dc.date.issued1995
dc.identifier.citationBroido , J 1995 , Temporal logic and "reverse semantics" . UH Computer Science Technical Report , vol. 233 , University of Hertfordshire .
dc.identifier.otherPURE: 95198
dc.identifier.otherPURE UUID: c3d14e80-ca50-4742-aac1-b6d57680aa6b
dc.identifier.otherdspace: 2299/5022
dc.identifier.urihttp://hdl.handle.net/2299/5022
dc.description.abstractThis 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".en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rights/dk/atira/pure/core/openaccesspermission/open
dc.titleTemporal logic and "reverse semantics"en
dc.contributor.institutionSchool of Computer Science
dc.relation.schoolSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstyperestrictedAccess


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record