Author:
Ben-Ari Mordechai,Halpern Joseph Y.,Pnueli Amir
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference12 articles.
1. Propositional modal logic of programs;Fischer,1977
2. Propositional modal logic of programs;Fischer;J. Comput. System Sci.,1979
3. An elementary proof of the completeness of PDL;Kozen;Theoret. Comput. Sci.,1981
4. A Decidability Result for Second-Order Process Logic;Parikh,1978
5. Propositional logics of programs: systems, models, and complexity;Parikh,1980
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Propositional Dynamic Logic with Quantification over Regular Computation Sequences;Logical Foundations of Computer Science;2021-12-16
2. Program schemata technique for propositional program logics: A 30-year history;Programming and Computer Software;2016-07
3. Separation logics and modalities: a survey;Journal of Applied Non-Classical Logics;2015-01-02
4. Decidability of weak logics with deterministic transitive closure;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Decidability of Weak Logics with Deterministic Transitive Closure;IEEE S LOG;2014