Show simple item record  

dc.contributor.authorJackson, Marcel
dc.contributor.authorStokes, Tim E.
dc.identifier.citationJackson, M. & Stokes, T.E. (2011). Modal restriction semigroups: towards an algebra of functions. International Journal of Algebra and Computation, 21(7), 1053-1095.en_NZ
dc.description.abstractRestriction semigroups model algebras of partial maps under composition and domain. Here we consider restriction semigroups for which the usual Boolean operations on domains are modeled. Such algebras are capable of modeling the usual modal operators considered in dynamic logic. Indeed adding a natural functional variant of union to the signature gives a deterministic version of the modal semirings of Möller and Struth, but also a monoidal version of the classical restriction categories of Cockett and Manes. Other operations modeled are intersection and (in the finite case) functional iteration. In each case, axiomatizations of the concrete functional examples are given, leading to algebraic models of partial maps incorporating all the domain-related and set-theoretic operations previously considered. Our algebras furnish natural algebraic semantics for the logics of deterministic computer programs, leading to new results for some variants of propositional dynamic logic.en_NZ
dc.publisherWorld Scienceen_NZ
dc.subjectrestriction semigroupsen_NZ
dc.subjectpartial functionsen_NZ
dc.subjectrelation algebraen_NZ
dc.subjectdynamic algebraen_NZ
dc.subjectKleene algebra with domainen_NZ
dc.subjectpropositional dynamic logicen_NZ
dc.subjectmodal semiringsen_NZ
dc.titleModal restriction semigroups: towards an algebra of functionsen_NZ
dc.typeJournal Articleen_NZ
dc.relation.isPartOfInternational Journal of Algebra and Computationen_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record