{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:17:16Z","timestamp":1747887436598,"version":"3.41.0"},"reference-count":47,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/jigpal\/jzv002","type":"journal-article","created":{"date-parts":[[2015,3,26]],"date-time":"2015-03-26T06:04:00Z","timestamp":1427349840000},"page":"553-583","source":"Crossref","is-referenced-by-count":0,"title":["Logics Modulo Theories: a logical framework for multi-agent systems"],"prefix":"10.1093","volume":"23","author":[{"given":"Lito Perez","family":"Cruz","sequence":"first","affiliation":[]},{"given":"John Newsome","family":"Crossley","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,3,25]]},"reference":[{"key":"2015071523052971000_23.4.553.1","unstructured":"M. Zakharyaschev, A. Kurucz, F. Wolter and D. M. Gabbay. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics. Elsevier Science, 2003."},{"key":"2015071523052971000_23.4.553.2","unstructured":"Akman V. Surav M. Steps toward formalizing context. AI Magazine 1996;17:55-72."},{"key":"2015071523052971000_23.4.553.3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"2015071523052971000_23.4.553.4","doi-asserted-by":"crossref","unstructured":"Attardi G. Simi M. Proofs in context. In: Doyle J. Sandewall E. Torasso P. , editors. Principles of Knowledge Representation and Reasoning. Morgan Kaufmann; 1994. p. 15-26.","DOI":"10.1016\/B978-1-4832-1452-8.50099-3"},{"key":"2015071523052971000_23.4.553.5","unstructured":"Blackburn P. van Benthem J. Wolter F. Preface. In: Blackburn P. de Rijke M. Venema Y. , editors. Modal Logic. Cambridge: Cambridge University Press; 2002. Cambridge Tracts in Theore tical Computer Science."},{"key":"2015071523052971000_23.4.553.6","doi-asserted-by":"crossref","unstructured":"Borgida A. Serafini L. Distributed description logics: assimilating information from peer sources. Journal of Data Semantics 2003;1:153-184.","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"2015071523052971000_23.4.553.7","doi-asserted-by":"crossref","unstructured":"P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini and H. Stuckenschmidt. Contextualizing ontologies. Technical Report DIT-04-013, University of Trento, Department of Information and Communication Technology, Povo - Trento (Italy), 2004.","DOI":"10.2139\/ssrn.3199026"},{"key":"2015071523052971000_23.4.553.8","doi-asserted-by":"crossref","unstructured":"Bouquet P. Serafini L. On the difference between bridge rules and lifting axioms. In: Blackburn P. Ghidini C. Turner R. M. Giunchiglia F. , editors. Modeling and Using Context. Springer Berlin Heidelberg; 2003. p. 80-93. vol. 2680 of Lecture Notes in Computer Science .","DOI":"10.1007\/3-540-44958-2_7"},{"key":"2015071523052971000_23.4.553.9","unstructured":"Buva\u010d S. Propositional logic of context. In: Fikes R. Lehnert W. , editors. Proceedings of the Eleventh National Conference on Artificial Intelligence. Menlo Park, CA: AAAI Press; 1993. p. 412-419."},{"key":"2015071523052971000_23.4.553.10","doi-asserted-by":"crossref","unstructured":"Buva\u010d S. Buva\u010d V. Mason I. A. Metamathematics of contexts. Fundamenta Informaticae 1995;23:263-301.","DOI":"10.3233\/FI-1995-232345"},{"key":"2015071523052971000_23.4.553.11","unstructured":"M. V. Cengarle. Formal Specifications with Higher-Order Parametrization. PhD thesis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, 1994."},{"key":"2015071523052971000_23.4.553.12","unstructured":"CoFI Language Design Task Group on Language Design. CASL, The Common Algebraic Specification Language, Summary, 25 March 2001, March 2001. http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/."},{"key":"2015071523052971000_23.4.553.13","unstructured":"Cresswell M. J. Hughes G. E. A New Introduction to Modal Logic. Taylor & Francis Inc.; 1996."},{"key":"2015071523052971000_23.4.553.14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.3.345"},{"key":"2015071523052971000_23.4.553.15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.167"},{"key":"2015071523052971000_23.4.553.16","unstructured":"J. N. Crossley. Samsara. In D. M. Gabbay, S. Savost'yanovich Goncharov and M. Zakharyaschev, editors, Mathematical Problems from Applied Logic. New Logics for XXI Century, International Mathematical Series, pp. 234\u2013276. Springer, 2005."},{"key":"2015071523052971000_23.4.553.17","unstructured":"Crossley J. N. Brickhill C. John Ash(\u2020) C. Stillwell J. C. Williams N. H. What is Mathematical Logic? Latest. Dover; 1990. Oxford University Press, 1972."},{"key":"2015071523052971000_23.4.553.18","doi-asserted-by":"crossref","unstructured":"J. N. Crossley and L. Perez Cruz. LMT: a lightweight logical framework for multi-agent systems. In Knowledge-Based and Intelligent Information and Engineering Systems, 16th International Conference, KES2012, Lecture Notes in Computer Science, pp. 118\u2013127. Springer, 2012.","DOI":"10.3233\/978-1-61499-105-2-118"},{"key":"2015071523052971000_23.4.553.19","doi-asserted-by":"crossref","unstructured":"J. N. Crossley, I. Poernomo and M. Wirsing. Extraction of structured programs from specification proofs. In D. Bert, C. Choppy and P. Mosses, editors, Workshop on Algebraic Development Techniques, vol. 1827 of Lecture Notes in Computer Science, pp. 419\u2013437, 1999.","DOI":"10.1007\/978-3-540-44616-3_24"},{"key":"2015071523052971000_23.4.553.20","doi-asserted-by":"crossref","unstructured":"L. P. Cruz and J. N. Crossley. Contextualizing ontologies for agents. In J. L. G. Dietz et al., editors, KEOD 2010 \u2013 International Conference on Knowledge Engineering and Ontology Development, pp. 147\u2013152, 2010.","DOI":"10.5220\/0003053701470152"},{"key":"2015071523052971000_23.4.553.21","unstructured":"R. P. Cruz. Tiered Logic for Contextualizing Logics. PhD thesis, Monash University, Melbourne, Australia, 2010."},{"key":"2015071523052971000_23.4.553.22","doi-asserted-by":"crossref","unstructured":"R. P. Cruz and J. N. Crossley. Tiered logic for contextualizing logics. In ICAART 2009, Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19\u201321, pp. 369\u2013376. INSTICC, Portugal, 2009.","DOI":"10.5220\/0001120803690376"},{"key":"2015071523052971000_23.4.553.23","doi-asserted-by":"crossref","unstructured":"R. P. Cruz and J. N. Crossley. Tiered logic for agents. In J. Filipe and B. Sharp, editors, ICAART 2009, Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19\u201321, 2009, Revised Selected Papers, vol. 67 of Communications in Computer and Information Science, pp. 191\u2013204. Springer, 2010.","DOI":"10.1007\/978-3-642-11819-7_15"},{"key":"2015071523052971000_23.4.553.24","unstructured":"M. Fitting. Modal proof theory. In P. Blackburn, M. de Rijke and Y. Venema, editors, Modal Logic, Cambridge Tracts in Theoretical Computer Science, pp. 85\u2013138. Cambridge University Press, Cambridge, 2002."},{"key":"2015071523052971000_23.4.553.25","doi-asserted-by":"crossref","unstructured":"Gabbay D. M. Labelled Deductive Systems, Volume 1. Vol. 33. Oxford University Press; 1996. of Oxford Logic Guides .","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"key":"2015071523052971000_23.4.553.26","doi-asserted-by":"crossref","unstructured":"Gabbay D. M. Fibring logics. Vol. 38. Clarendon Press; 1999. of Oxford Logic Guides .","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"2015071523052971000_23.4.553.27","unstructured":"Ghidini C. Serafini L. Distributed first order logics. In: Baader F. Schultz K. U. , editors. Frontiers of Combining Systems 2. Research Studies Press, Wiley; 1998. p. 121-139."},{"key":"2015071523052971000_23.4.553.28","unstructured":"Giunchiglia F. Contextual reasoning. Epistemologia 1992;XVI:345-364. Special issue I linguaggi e le macchine ."},{"key":"2015071523052971000_23.4.553.29","unstructured":"Giunchiglia F. Ghidini C. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 2000;127:221-259."},{"key":"2015071523052971000_23.4.553.30","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90037-X"},{"key":"2015071523052971000_23.4.553.31","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"2015071523052971000_23.4.553.32","unstructured":"R. V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Computer Science Department, Stanford University, CA, USA, 1991."},{"key":"2015071523052971000_23.4.553.33","doi-asserted-by":"publisher","DOI":"10.2307\/2267044"},{"key":"2015071523052971000_23.4.553.34","doi-asserted-by":"crossref","unstructured":"S. Krsti\u0107, A. Goel, J. Grundy and C. Tinelli. Combined satisfiability modulo parametric theories. In O. Grumberg and M. Huth, editors, Proceedings of the 13th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, Portugal, vol. 4424 of Lecture Notes in Computer Science, pp. 618\u2013631. Springer, 2007.","DOI":"10.1007\/978-3-540-71209-1_47"},{"key":"2015071523052971000_23.4.553.35","unstructured":"O. Kutz, C. Lutz, F. Wolter and M. Zakharyaschev. E -connections of description logics. In D. Calvanese, G. De Giacomo and E. Franconi, editors, Description Logics, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy 5\u20137 September, 2003, vol. 81 of CEUR Workshop Proceedings, pp. 178\u2013187. CEUR-WS.org, 2003."},{"key":"2015071523052971000_23.4.553.36","doi-asserted-by":"publisher","DOI":"10.1145\/33447.33448"},{"key":"2015071523052971000_23.4.553.37","unstructured":"J. McCarthy. Notes on formalizing context. In Proceedings of the 13th International Joint Conference on Artifical Intelligence - Volume 1, IJCAI '93, pp. 555\u2013560, San Francisco, CA, USA, 1993. Morgan Kaufmann Publishers Inc."},{"key":"2015071523052971000_23.4.553.38","unstructured":"Mendelson E. Introduction to mathematical logic. 4th. Chapman & Hall; 1997."},{"key":"2015071523052971000_23.4.553.39","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"2015071523052971000_23.4.553.40","unstructured":"R. Nossum. Fibred logics and local models. In 1st International Workshop on Contexts in Logics; 2001-07-30 \u2013 2001-07-30, UIA, 2001."},{"key":"2015071523052971000_23.4.553.41","doi-asserted-by":"crossref","unstructured":"D. Pattinson and B. Reus. A complete temporal and spatial logic for distributed systems. In B. Gramlich, editor, FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems, pp. 122\u2013137. Springer, 2005.","DOI":"10.1007\/11559306_7"},{"key":"2015071523052971000_23.4.553.42","unstructured":"H. Peterreins. A Natural-deduction-like Calculus for Structured Specifications. PhD thesis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, 1996."},{"key":"2015071523052971000_23.4.553.43","unstructured":"Poernomo I. H. Crossley J. N. Wirsing M. Adapting proofs-as-programs. Springer; 2005."},{"key":"2015071523052971000_23.4.553.44","doi-asserted-by":"crossref","unstructured":"Sacks G. E. Annals of Mathematics. Vol. 55. Princeton University Press; 1963. Degrees of Unsolvability.","DOI":"10.1515\/9781400881840"},{"key":"2015071523052971000_23.4.553.45","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.11.001"},{"key":"2015071523052971000_23.4.553.46","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0349-4_5"},{"key":"2015071523052971000_23.4.553.47","doi-asserted-by":"crossref","unstructured":"M. Wirsing, J. N. Crossley and H. Peterreins. Proof normalization of structured algebraic specifications is convergent. In J. Fiaderio, editor, Workshop on Algebraic Development Techniques, Proceedings of the Twelfth International Workshop on Recent Trends in Algebraic Development Techniques, vol. 1589 of Lecture Notes in Computer Science, pp. 326\u2013340, Berlin, 1998. Springer.","DOI":"10.1007\/3-540-48483-3_21"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/23\/4\/553\/5068019\/jzv002.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T16:44:50Z","timestamp":1747845890000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzv002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,25]]},"references-count":47,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,15]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/jigpal\/jzv002"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzv002","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published":{"date-parts":[[2015,3,25]]}}}