Search for Author All Reviews
	Sain, Ildiko     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Temporal logics need their clocks Sain I. Theoretical Computer Science 95(1): 75-95, 1992.  Type: Article Sain investigates soundness and completeness issues in first-order temporal logics. The focus of the paper is on nonstandard characterizations of the power of temporal proof systems. (In a nonstandard result, time is not necessarily ...... Mar 1 1993     On the strength of temporal proofs Andréka H., Németi I., Sain I. Theoretical Computer Science 80(2): 125-151, 1991.  Type: Article The main goal of this paper is to characterize and compare the proof-theoretic powers of different temporal logics. It continues previous research that has been published during the last decade by the same authors. They reconsider some...... Apr 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy