scientific article; zbMATH DE number 3848600
From MaRDI portal
Publication:3318101
Recommendations
- The propositional dynamic logic of deterministic, well-structured programs
- A practical decision method for propositional dynamic logic (preliminary report)
- Propositional dynamic logic of nonregular programs
- Foundations of Software Science and Computation Structures
- Propositional dynamic logic with recursive programs
Cited in
(21)- ``During cannot be expressed by ``after
- Automata-theoretic techniques for modal logics of programs
- Concurrent program schemes and their logics
- A simplified proof of \(DDL<DL\)
- A system of dynamic modal logic
- Program schemata vs. automata for decidability of program logics
- A non-wellfounded, labelled proof system for propositional dynamic logic
- Nondeterministic program schemata and their relation to dynamic logic
- Nontrivial definability by flow-chart programs
- scientific article; zbMATH DE number 4143953 (Why is no real title available?)
- scientific article; zbMATH DE number 4154413 (Why is no real title available?)
- The Böhm–Jacopini Theorem Is False, Propositionally
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- scientific article; zbMATH DE number 3947618 (Why is no real title available?)
- scientific article; zbMATH DE number 139632 (Why is no real title available?)
- scientific article; zbMATH DE number 1114354 (Why is no real title available?)
- A dynamic deontic logic for complex contracts
- A practical decision method for propositional dynamic logic (preliminary report)
- Propositional dynamic logic of nonregular programs
- The propositional dynamic logic of deterministic, well-structured programs
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318101)
