Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference28 articles.
1. M. Abadi, The power of temporal proofs, Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, Ithaca, NY, June 1987, pp. 123?130.
2. A. Amir, Expressive completeness failure in branching time structures, Journal of Computer and System Sciences 34, 1987, pp. 27?42.
3. H. Andréka, Sharpening the characterization of the power of Floyd's method, in: Logic of Programs and their Applications, ed., A. Salwicki (Proc. Conf. Pozna? 1980, Lecture Notes in Computer Science 148, Springer-Verlag 983, pp. 1?26.
4. H. Andréka, K. Balogh, K. Lábadi, I. Németi and P. Tóth, Plan for improving a working program verifier program, Software Dept. of Computing Center of the Heavy Industries, Preprint 1974, Budapest (in Hungarian).
5. H. Andréka, I. Németi and I. Sain, A complete logic for reasoning about programs via nonstandard model theory, Parts I?II, Theoretical Computer Science 17 (1982), pp. 193?212 and pp. 259?278.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Modelwise Interpolation Property of Semantic Logics;Bulletin of the Section of Logic;2023-04-21
2. A logical study of group-size based social network creation;Journal of Logical and Algebraic Methods in Programming;2019-08
3. Taming logic;Journal of Logic, Language and Information;1995
4. Decidable and undecidable logics with a binary modality;Journal of Logic, Language and Information;1995
5. Applying Algebraic Logic to Logic;Algebraic Methodology and Software Technology (AMAST’93);1994