{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T07:42:34Z","timestamp":1697528554849},"reference-count":14,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T00:00:00Z","timestamp":1278892800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2010,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions develo\u2010 ped for this study were also suitable to describe the previously found class of simple separable dynamic algebras (\u00a9 2010 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200910033","type":"journal-article","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T18:27:36Z","timestamp":1279045656000},"page":"442-448","source":"Crossref","is-referenced-by-count":0,"title":["Subdirectly irreducible separable dynamic algebras"],"prefix":"10.1002","volume":"56","author":[{"given":"Sandra Marques","family":"Pinto","sequence":"first","affiliation":[]},{"given":"M. Teresa","family":"Oliveira\u2010Martins","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2010,7,12]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"K.Denecke andS. L.Wismath Universal Algebra and Applications in Theoretical Computer Science (Chapman & Hall 2002)."},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"D.Harel First\u2010Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 (Springer Verlag 1979).","DOI":"10.1007\/3-540-09237-4"},{"key":"e_1_2_1_4_2","unstructured":"M.Kracht Tools and Techniques in Modal Logic. Studies in Logic Number 142 (Elsevier 1999)."},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"D.Kozen A representation theorem for models of *\u2010free pdl. Report RC7864 IBM Research Center Yorktown Heights New York (1979).","DOI":"10.1007\/3-540-10003-2_83"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200510022"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm014"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"V. R.Pratt Dynamic algebras: examples constructions applications. In: Technical Report MIT\/Laboratory for Comp. Sci\/TM\u2010138 pp. 1\u201333 (1979) or Studia Logica50 571\u2013605 (1992).","DOI":"10.1007\/BF00370685"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"W.Rautenberg Klassische und nichtklassische Aussagenlogik (Vieweg and Sohn 1979).","DOI":"10.1007\/978-3-322-85796-5"},{"key":"e_1_2_1_10_2","unstructured":"H.Sankappanavar andS.Burris A Course in Universal Algebra (Springer\u2010Verlag 1981)."},{"key":"e_1_2_1_11_2","first-page":"A\u2010522","article-title":"A completeness theorem in the modal logic of programs","volume":"24","author":"Segerberg K.","year":"1977","journal-title":"Notices of the AMS"},{"key":"e_1_2_1_12_2","unstructured":"Y.Venema Duals of Subdirectly Irreducible Modal Algebras (ILLC Publications 2002)."},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"Y.Venema Algebras and Coalgebras. In: Handbook of Modal Logic (P. Blackburn J. van Benthem and F. Wolter eds.) pp. 331\u2013426 (Elsevier 2007).","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"W.Wechler Universal Algebra for Computer Scientists (Springer Verlag 1992).","DOI":"10.1007\/978-3-642-76771-5"},{"key":"e_1_2_1_15_2","unstructured":"M.Weese Decidable extensions of the theory of Boolean algebras. Handbook of Boolean Algebras(3)(Elsevier Science Publishers 1989)."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200910033","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200910033","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200910033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T06:26:49Z","timestamp":1697437609000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200910033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,12]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["10.1002\/malq.200910033"],"URL":"https:\/\/doi.org\/10.1002\/malq.200910033","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,12]]}}}