{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:41:39Z","timestamp":1725871299158},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319498140"},{"type":"electronic","value":"9783319498157"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49815-7_8","type":"book-chapter","created":{"date-parts":[[2016,11,12]],"date-time":"2016-11-12T14:12:09Z","timestamp":1478959929000},"page":"129-144","source":"Crossref","is-referenced-by-count":2,"title":["On Interval Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Regivan H. N.","family":"Santiago","sequence":"first","affiliation":[]},{"given":"Benjam\u00edn","family":"Bedregal","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,13]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179","author":"A Baltag","year":"2011","unstructured":"Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285\u2013306 (2011)","journal-title":"Synthese"},{"issue":"3","key":"8_CR2","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s40314-013-0049-z","volume":"32","author":"B Bedregal","year":"2013","unstructured":"Bedregal, B., Santiago, R.: Some continuity notions for interval functions and representation. Comput. Appl. Math. 32(3), 435\u2013446 (2013)","journal-title":"Comput. Appl. Math."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bedregal, B.C., Takahashi, A.: Interval valued versions of t-conorms, fuzzy negations and fuzzy implications. In: 2006 IEEE International Conference on Fuzzy Systems , pp. 1981\u20131987 (2006)","DOI":"10.1109\/FUZZY.2006.1681975"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/j.ins.2012.09.022","volume":"221","author":"BRC Bedregal","year":"2013","unstructured":"Bedregal, B.R.C., Santiago, R.H.N.: Interval representations, \u0141ukasiewicz implicators and Smets-Magrez axioms. Inf. Sci. 221, 192\u2013200 (2013)","journal-title":"Inf. Sci."},{"issue":"24","key":"8_CR5","doi-asserted-by":"crossref","first-page":"3220","DOI":"10.1016\/j.fss.2006.06.013","volume":"157","author":"BRC Bedregal","year":"2006","unstructured":"Bedregal, B.R.C., Takahashi, A.: The best interval representations of t-norms and automorphisms. Fuzzy Sets Syst. 157(24), 3220\u20133230 (2006)","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"8_CR6","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.O.: On the minimum many-valued modal logic over a finite residuated lattice. J. Log. Comput. 21(5), 739\u2013790 (2011)","journal-title":"J. Log. Comput."},{"issue":"1","key":"8_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TFUZZ.2015.2451692","volume":"24","author":"H Bustince","year":"2016","unstructured":"Bustince, H., Barrenechea, E., Pagola, M., Fernandez, J., Xu, Z., Bedregal, B., Montero, J., Hagras, H., Herrera, F., Baets, B.D.: A historical account of types of fuzzy sets and their relationships. IEEE Trans. Fuzzy Syst. 24(1), 179\u2013194 (2016)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"8_CR8","series-title":"Trends in Logic","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., d\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic. Springer, Netherlands (1999)"},{"key":"8_CR9","volume-title":"Regular Algebra and Finite Machines","author":"JH Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Printed in GB by William Clowes & Sons Ltd, London (1971)"},{"issue":"3\u20134","key":"8_CR10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Many-valued modal logics. Fundam. Inform. 15(3\u20134), 235\u2013254 (1991)","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"8_CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting, M.: Many-valued model logics II. Fundam. Inform. 17(1\u20132), 55\u201373 (1992)","journal-title":"Fundam. Inform."},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"5","key":"8_CR13","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1145\/502102.502106","volume":"48","author":"T Hickey","year":"2001","unstructured":"Hickey, T., Ju, Q., Van Emden, M.H.: Interval arithmetic: from principles to implementation. J. ACM 48(5), 1038\u20131068 (2001)","journal-title":"J. ACM"},{"issue":"1\u20132","key":"8_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","volume":"15","author":"J Hughes","year":"2006","unstructured":"Hughes, J., Esterline, A.C., Kimiaghalam, B.: Means-end relations and a measure of efficacy. J. Log. Lang. Inf. 15(1\u20132), 83\u2013108 (2006)","journal-title":"J. Log. Lang. Inf."},{"key":"8_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"EP Klement","year":"2000","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms, 1st edn. Springer, Berlin (2000)","edition":"1"},{"key":"8_CR16","unstructured":"Kozen, D.: On action algebras (manuscript). In: Logic and Flow of Information, Amsterdam (1991)"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D Kozen","year":"1985","unstructured":"Kozen, D.: A probabilistic PDL. J. Comput. Syst. Sci. 30(2), 162\u2013178 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"8_CR18","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-48061-7_36","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"C-J Liau","year":"1999","unstructured":"Liau, C.-J.: Many-valued dynamic logic for qualitative decision theory. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 294\u2013303. Springer, Heidelberg (1999). doi: 10.1007\/978-3-540-48061-7_36"},{"issue":"5","key":"8_CR20","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","volume":"85","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85(5), 1011\u20131037 (2016)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-15075-8_9","volume-title":"Formal Methods: Foundations and Applications","author":"A Madeira","year":"2015","unstructured":"Madeira, A., Neves, R., Martins, M.A., Barbosa, L.S.: A dynamic logic for every season. In: Braga, C., Mart\u00ed-Oliet, N. (eds.) SBMF 2014. LNCS, vol. 8941, pp. 130\u2013145. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-15075-8_9"},{"key":"8_CR22","unstructured":"Moore, R.E.: Interval arithmetic and automatic error analysis in digital computing. Ph.D. dissertation, Department of Mathematics, Stanford University, Stanford, CA, USA, November 1962. (Also published as Applied Mathematics and Statistics Laboratories Technical report No. 25)"},{"key":"8_CR23","unstructured":"Moore, R.E., Yang, C.T.: Interval analysis I. Technical document LMSD-285875, Lockheed Missiles and Space Division, Sunnyvale, CA, USA (1959)"},{"key":"8_CR24","series-title":"Trends in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0840-2","volume-title":"Advanced \u0141ukasiewicz Calculus and MV-Algebras","author":"D Mundici","year":"2011","unstructured":"Mundici, D.: Advanced \u0141ukasiewicz Calculus and MV-Algebras. Trends in Logic. Springer, Netherlands (2011)"},{"key":"8_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer, Berlin (2010)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Semantical considerations on floyd-hoare logic. In: 17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25\u201327 October 1976, pp. 109\u2013121. IEEE Computer Society (1976)","DOI":"10.1109\/SFCS.1976.27"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0018436","volume-title":"Logics in AI","author":"V Pratt","year":"1991","unstructured":"Pratt, V.: Action logic and pure induction. In: Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 97\u2013120. Springer, Heidelberg (1991). doi: 10.1007\/BFb0018436"},{"issue":"2","key":"8_CR28","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s00165-006-0089-x","volume":"18","author":"RHN Santiago","year":"2006","unstructured":"Santiago, R.H.N., Bedregal, B.R.C., Aci\u00f3ly, B.M.: Formal aspects of correctness and optimality of interval computations. Formal Aspects Comput. 18(2), 231\u2013243 (2006)","journal-title":"Formal Aspects Comput."},{"issue":"2\u20133","key":"8_CR29","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF03186528","volume":"26","author":"T Sunaga","year":"2009","unstructured":"Sunaga, T.: Theory of an interval algebra and its application to numerical analysis [reprint of Res. Assoc. Appl. Geom. Mem. 2, 29\u201346 (1958)]. Japan J. Ind. Appl. Math. 26(2\u20133), 125\u2013143 (2009)","journal-title":"Japan J. Ind. Appl. Math."},{"key":"8_CR30","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-28406-9","volume-title":"Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability","author":"Y Xu","year":"2012","unstructured":"Xu, Y., Ruan, D., Qin, K., Liu, J.: Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Studies in Fuzziness and Soft Computing. Springer, Berlin (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49815-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T05:44:49Z","timestamp":1657691089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49815-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319498140","9783319498157"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49815-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}