A Decidability Result for a Second Order Process Logic
We prove the decidability of the validity problem for a rather general language for talking about computations. As corollaries of our result, we obtain some decidability results of Pratt, Constable, Fischer-Ladner, and Pnueli and also a new decidability result for deterministic propositional dynamic...
| Glavni autor: | |
|---|---|
| Izdano: |
2023
|
| Online pristup: | https://hdl.handle.net/1721.1/148940 |