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...

全面介绍

书目详细资料
主要作者: Pratt, Vaughan R.
出版: 2023
在线阅读:https://hdl.handle.net/1721.1/148986