Show simple item record  

dc.contributor.authorJackson, Marcel
dc.contributor.authorStokes, Tim E.
dc.date.accessioned2012-02-23T03:28:13Z
dc.date.available2012-02-23T03:28:13Z
dc.date.issued2011
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.identifier.urihttps://hdl.handle.net/10289/6052
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.language.isoen
dc.publisherWorld Scienceen_NZ
dc.relation.urihttp://www.worldscinet.com/ijac/21/2107/S0218196711006844.htmen_NZ
dc.subjectrestriction semigroupsen_NZ
dc.subjectpartial functionsen_NZ
dc.subjectrelation algebraen_NZ
dc.subjectEq-monoiden_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.identifier.doi10.1142/S0218196711006844en_NZ
dc.relation.isPartOfInternational Journal of Algebra and Computationen_NZ
pubs.begin-page1053en_NZ
pubs.elements-id36868
pubs.end-page1095en_NZ
pubs.issue7en_NZ
pubs.volume21en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record