{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T12:57:42Z","timestamp":1775048262897,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T00:00:00Z","timestamp":1348012800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10472-012-9316-8","type":"journal-article","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T09:09:54Z","timestamp":1347959394000},"page":"131-162","source":"Crossref","is-referenced-by-count":12,"title":["Global view on reactivity: switch graphs and their logics"],"prefix":"10.1007","volume":"66","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"S\u00e9rgio","family":"Marcelino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,19]]},"reference":[{"key":"9316_CR1","unstructured":"Areces, C.: Logic engineering. The case of description and hybrid logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands (2000)"},{"key":"9316_CR2","first-page":"307","volume-title":"Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic, CSL \u201999","author":"C Areces","year":"1999","unstructured":"Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic, CSL \u201999, pp. 307\u2013321. Springer, London (1999)"},{"key":"9316_CR3","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1093\/logcom\/11.5.657","volume":"11","author":"C Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., Delany, S.R.: Bringing them all together. J. Log. Comput. 11, 657\u2013669 (2001)","journal-title":"J. Log. Comput."},{"key":"9316_CR4","doi-asserted-by":"crossref","unstructured":"Areces, C., Carreiro, F., Figueira, S., Mera, S.: Basic model theory for memory logics. In: WoLLIC, pp. 20\u201334 (2011)","DOI":"10.1007\/978-3-642-20920-8_8"},{"key":"9316_CR5","doi-asserted-by":"crossref","unstructured":"Barringer, H., Gabbay, D.M.: Modal and temporal argumentation networks. In: Essays in Memory of Amir Pnueli, pp. 1\u201325 (2010)","DOI":"10.1007\/978-3-642-13754-9_1"},{"issue":"3","key":"9316_CR6","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Log. J. IGPL 8(3), 339\u2013365 (2000)","journal-title":"Log. J. IGPL"},{"issue":"2","key":"9316_CR7","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., ten Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. Stud. Log. 84(2), 277\u2013322 (2006)","journal-title":"Stud. Log."},{"issue":"1","key":"9316_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P Blackburn","year":"1999","unstructured":"Blackburn, P., Tzakova, M.: Hybrid languages and temporal logic. Log. J. IGPL 7(1), 27\u201354 (1999)","journal-title":"Log. J. IGPL"},{"key":"9316_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9316_CR10","volume-title":"Handbook of modal logic. In: Studies in Logic and Practical Reasoning, vol. 3","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J.F.A.K.,Wolter, F.: Handbook of modal logic. In: Studies in Logic and Practical Reasoning, vol. 3. Elsevier Science, New York (2006)"},{"issue":"3","key":"9316_CR11","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"RA Bull","year":"1970","unstructured":"Bull, R.A.: An approach to tense logic. Theoria 36(3), 282\u2013300 (1970)","journal-title":"Theoria"},{"issue":"4","key":"9316_CR12","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1016\/j.ic.2011.01.002","volume":"209","author":"M Crochemore","year":"2011","unstructured":"Crochemore, M., Gabbay, D.M.: Reactive automata. Inf. Comput. 209(4), 692\u2013704 (2011)","journal-title":"Inf. Comput."},{"issue":"3","key":"9316_CR13","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1015782031903","volume":"31","author":"DM Gabbay","year":"2002","unstructured":"Gabbay, D.M.: A theory of hypermodal logics: mode shifting in modal logic. J. Philos. Logic 31(3), 211\u2013243 (2002)","journal-title":"J. Philos. Logic"},{"key":"9316_CR14","unstructured":"Gabbay, D.M.: Reactive Kripke semantics and arc accessibility. In: Carnielli, W., Dionisio, F.M., Mateus, P. (eds) Proceedings of CombLog 2004, pp. 7\u201320. Centre for Logic and Computation, University of Lisbon (2004)"},{"key":"9316_CR15","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: Introducing reactive Kripke semantics and arc accessibility. In: Pillars of Computer Science, pp. 292\u2013341 (2008)","DOI":"10.1007\/978-3-540-78127-1_17"},{"key":"9316_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-540-70525-3_13","volume-title":"DEON","author":"DM Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Reactive Kripke models and contrary to duty obligations. In: van\u00a0der Meyden, R., van\u00a0der Torre, L. (eds.) DEON, Lecture Notes in Computer Science, vol. 5076, pp. 155\u2013173. Springer, Berlin (2008)"},{"issue":"2","key":"9316_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s11229-010-9781-8","volume":"179","author":"DM Gabbay","year":"2011","unstructured":"Gabbay, D.M.: Reactive intuitionistic tableaux. Synthese 179(2), 253\u2013269 (2011). doi: 10.1007\/s11229-010-9781-8","journal-title":"Synthese"},{"key":"9316_CR18","volume-title":"Studies in Logic and the Foundations of Mathematics, vol. 148","author":"DM Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. In: Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam (2003)"},{"issue":"2\u20133","key":"9316_CR19","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s11225-009-9214-1","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M., Marcelino, S.: Modal logics of reactive frames. Stud. Log. 93(2\u20133), 405\u2013446 (2009)","journal-title":"Stud. Log."},{"issue":"1","key":"9316_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/jzn021","volume":"17","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M., Schlechta, K.: Defeasible inheritance systems and reactive diagrams. Log. J. IGPL 17(1), 1\u201354 (2009)","journal-title":"Log. J. IGPL"},{"issue":"2","key":"9316_CR21","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1017\/S1755020309090248","volume":"2","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M., Schlechta, K.: Reactive preferential structures and nonmonotonic consequence. Rev. Symb. Log. 2(2), 414\u2013450 (2009)","journal-title":"Rev. Symb. Log."},{"key":"9316_CR22","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/978-3-642-04407-6_9","volume-title":"Logical Tools for Handling Change in Agent-Based Systems, Cognitive Technologies","author":"DM Gabbay","year":"2010","unstructured":"Gabbay, D.M., Schlechta, K.: An analysis of defeasible inheritance systems. In: Logical Tools for Handling Change in Agent-Based Systems, Cognitive Technologies, pp. 251\u2013293. Springer, Berlin (2010)"},{"key":"9316_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10849-009-9096-7","volume":"19","author":"DM Gabbay","year":"2010","unstructured":"Gabbay, D.M., Schlechta, K.: A theory of hierarchical consequence and conditionals. J. Logic, Lang. Inf. 19, 3\u201332 (2010)","journal-title":"J. Logic, Lang. Inf."},{"key":"9316_CR24","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G Gargov","year":"1993","unstructured":"Gargov, G., Goranko, V.: Modal logic with names. J. Philos. Logic 22, 607\u2013636 (1993). doi: 10.1007\/BF01054038","journal-title":"J. Philos. Logic"},{"key":"9316_CR25","first-page":"477","volume-title":"On the Development of Reactive Systems","author":"D Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the Development of Reactive Systems, pp. 477\u2013498. Springer, New York (1985)"},{"key":"9316_CR26","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems (1999)"},{"key":"9316_CR27","unstructured":"Marcelino, S.: Modal logic for changing systems. Ph.D. thesis, King\u2019s College London (2011)"},{"key":"9316_CR28","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","author":"S Modgil","year":"2009","unstructured":"Modgil, S.: Reasoning about preferences in argumentation frameworks. Artif. Intell. 173, 901\u2013934 (2009)","journal-title":"Artif. Intell."},{"issue":"1","key":"9316_CR29","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","volume":"21","author":"AN Prior","year":"1956","unstructured":"Prior, A.N.: Modality and quantification in S5. J. Symb. Log. 21(1), 60\u201362 (1956)","journal-title":"J. Symb. Log."},{"key":"9316_CR30","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A Prior","year":"1967","unstructured":"Prior, A.: Past, Present and Future. Oxford University Press, Oxford (1967)"},{"key":"9316_CR31","doi-asserted-by":"crossref","unstructured":"Sattler, U., Vardi, M.: The hybrid \u03bc-calculus. In: Proceedings of IJCAR\u201901, Siena (2001)","DOI":"10.1007\/3-540-45744-5_7"},{"key":"9316_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing Mathematical Reasoning","author":"J Benthem van","year":"2005","unstructured":"van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning, Lecture Notes in Computer Science, vol. 2605, pp. 268\u2013276. Springer, Berlin (2005)"},{"key":"9316_CR33","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Log. 17, 129\u2013155 (2007)","journal-title":"J. Appl. Non-Class. Log."},{"issue":"1","key":"9316_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A Zanardo","year":"1996","unstructured":"Zanardo, A.: Branching-time logic with quantification over branches: the point of view of modal logic. J. Symb. Logic 61(1), 1\u201339 (1996)","journal-title":"J. Symb. Logic"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9316-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-012-9316-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9316-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T01:40:37Z","timestamp":1562204437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-012-9316-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,19]]},"references-count":34,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9316"],"URL":"https:\/\/doi.org\/10.1007\/s10472-012-9316-8","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,19]]}}}