… Dynamic Logic (DL). In this chapter a first order logic is defined, based upon ideas from
Pratt [PI] further developed in [HMP]. The logic, first order d~namic logic , or DL for short, is …

… prepositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic
Logic (DL), the prepositional calculus is replaced by classical first-order predicate calculus. …

… i,i As far as syntax is concerned, our dynamic logic will coincide with Harel's DL (regular
first order dynamic logic, see [3]), Thus~ it is an extension of the classical predicate calculus …

… We study two important extensions of first-order logic (FO) with iteration, the fixpoint and
while queries. The main result of the paper concerns the open problem of the relationship …

… dynamic logic). We use dynamic logic as our starting point, because using dynamic … If
we compare definition 3 with the corresponding dynamic logic definitions of a domain of …

… signal first-order logic (SFO) as a specification language that combines first-order logic with
… We can use our results to extend signal temporal logic with first-order quantifiers over time …

… This represents a shift to first-order dynamic logic in the sense that our models now include
… HAREL (1979) on first order dynamic logic provides far more insight into this subject than we …

… This is of great help when treating the modal and dynamic logics where we restrict
comprehension to the sets and relations defined by translations of formulas of PML or of PDL. …

… a propositional level and not on a first-order one. Another attempt is Ramshaw's Frequency
… to define a formal logic, Pr(DL), with syntax deriving from Pratt's first-order dynamic logic [Pr], …

… We describe the development and correctness proof in Isabelle/HOL of a monitor for metric
first-order dynamic logic. This monitor significantly extends previous work on formally verified …