Temporal logic and "reverse semantics"

dc.contributor.author	Broido, J.
dc.date.accessioned	2010-11-18T15:17:12Z
dc.date.available	2010-11-18T15:17:12Z
dc.date.issued	1995
dc.identifier.citation	Broido , J 1995 , Temporal logic and "reverse semantics" . UH Computer Science Technical Report , vol. 233 , University of Hertfordshire .
dc.identifier.other	dspace: 2299/5022
dc.identifier.uri	http://hdl.handle.net/2299/5022
dc.description.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".	en
dc.format.extent	7017382
dc.language.iso	eng
dc.publisher	University of Hertfordshire
dc.relation.ispartofseries	UH Computer Science Technical Report
dc.title	Temporal logic and "reverse semantics"	en
dc.contributor.institution	School of Computer Science
rioxxterms.type	Other
herts.preservation.rarelyaccessed	true