{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T10:57:58Z","timestamp":1763809078066},"reference-count":56,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2011,11]]},"abstract":"<jats:p> Restriction 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\u00f6ller 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. <\/jats:p>","DOI":"10.1142\/s0218196711006844","type":"journal-article","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T12:28:50Z","timestamp":1323174530000},"page":"1053-1095","source":"Crossref","is-referenced-by-count":24,"title":["MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS"],"prefix":"10.1142","volume":"21","author":[{"given":"MARCEL","family":"JACKSON","sequence":"first","affiliation":[{"name":"Department of Mathematics, La Trobe University, Melbourne, VIC 3086, Australia"}]},{"given":"TIM","family":"STOKES","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Waikato, Hamilton, New Zealand"}]}],"member":"219","published-online":{"date-parts":[[2012,4,5]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812831644"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0149-3_4"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.13.231-276"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90018-6"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-004-1917-6"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00382-0"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509007543"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16066-3_5"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700009096"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000644"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183285"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1081\/AGB-120016022"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24771-5_10"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1142\/S021819670300147X"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"rf18","unstructured":"V. S.\u00a0Garvac'kii, Theory of Semigroups and Its Applications\u00a02 (Izdat. Saratov. Univ., Saratov, 1971)\u00a0pp. 2\u201313."},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370341"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196799000412"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788708000542"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1080\/00927870902887096"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191491"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90097-X"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12689-9_103"},{"key":"rf28","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel D.","year":"2000"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-99-02264-3"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1007\/PL00012452"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1007\/s002330010032"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-8693(03)00314-4"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1081\/AGB-120039272"},{"key":"rf35","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196706003426"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1080\/00927870802625562"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196709005354"},{"key":"rf39","volume-title":"Stone Spaces","author":"Johnstone P. T.","year":"1982"},{"key":"rf41","first-page":"883","volume":"19","author":"Kozen D. C.","journal-title":"Inform. Comput."},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343378"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1129642115"},{"key":"rf45","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(91)90242-Z"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-005-0558-1"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70047-3"},{"key":"rf48","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.069"},{"key":"rf52","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0043079"},{"key":"rf53","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573019"},{"key":"rf54","first-page":"91","volume":"4","author":"Schein B. M.","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Mat."},{"key":"rf55","doi-asserted-by":"crossref","first-page":"11","DOI":"10.4064\/cm-31-1-11-20","volume":"31","author":"Schein B. M.","journal-title":"Colloq. Math."},{"key":"rf56","unstructured":"B. M.\u00a0Schein, Ordered Sets and Lattices (Izdat. Saratov. Univ., Saratov, 1974)\u00a0pp. 109\u2013113."},{"key":"rf57","first-page":"123","volume":"113","author":"Schein B. M.","journal-title":"Amer. Math. Soc. Trans. Ser. 2"},{"key":"rf58","first-page":"379","volume":"54","author":"Schein B. M.","journal-title":"Coll. Math. Soc. J\u00e1nos Bolyai"},{"key":"rf59","doi-asserted-by":"publisher","DOI":"10.1080\/00927879208824453"},{"key":"rf60","doi-asserted-by":"publisher","DOI":"10.1007\/BF02194309"},{"key":"rf61","doi-asserted-by":"publisher","DOI":"10.1007\/BF01351670"},{"key":"rf63","first-page":"481","volume":"72","author":"Stokes T.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"rf64","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"rf65","first-page":"71","volume":"11","author":"Trokhimenko V. S.","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Mat."},{"key":"rf66","doi-asserted-by":"publisher","DOI":"10.1007\/BF01236518"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196711006844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T15:23:34Z","timestamp":1565105014000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196711006844"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":56,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2012,4,5]]},"published-print":{"date-parts":[[2011,11]]}},"alternative-id":["10.1142\/S0218196711006844"],"URL":"https:\/\/doi.org\/10.1142\/s0218196711006844","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11]]}}}