Dynamic Algebras and the Nature of Induction

Dynamic algebras constitute the variety (equationally defined class) of models of the Segerberg axioms for propositional dynamic logic. We obtrain the following results (to within inseparability). (i) In any dynamic algebra * is reflexive transitive closure. (ii) Every free dynamic algebra can be fa...

Full description

Bibliographic Details
Main Author: Pratt, Vaughan R.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/148986