{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:14:30Z","timestamp":1742098470911,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642257247"},{"type":"electronic","value":"9783642257254"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25725-4_6","type":"book-chapter","created":{"date-parts":[[2011,12,9]],"date-time":"2011-12-09T14:39:34Z","timestamp":1323441574000},"page":"63-74","source":"Crossref","is-referenced-by-count":0,"title":["Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms"],"prefix":"10.1007","author":[{"given":"Vineet","family":"Padmanabhan","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1022301711366","volume":"12","author":"C. Caleiro","year":"2003","unstructured":"Caleiro, C., Carnielli, W.A., Coniglio, M.E., Sernadas, A., Sernadas, C.: Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information\u00a012(2), 183\u2013211 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"6_CR2","unstructured":"Catach, L.: Normal multimodal logics. In: Proceedings of the 7th National Conference on Artificial Intelligence (AAAI), pp. 491\u2013495 (1988)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1040046087","volume":"37","author":"M. Finger","year":"1996","unstructured":"Finger, M., Gabbay, D.M.: Combining temporal logic systems. Notre Dame Journal of Formal Logic\u00a037(2), 204\u2013232 (1996)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"6_CR5","volume-title":"Fibring Logics","author":"D.M. Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"6_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-45757-7_17","volume-title":"Logics in Artificial Intelligence","author":"G. Governatori","year":"2002","unstructured":"Governatori, G., Padmanabhan, V., Sattar, A.: On Fibring Semantics for BDI Logics. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 198\u2013210. Springer, Heidelberg (2002)"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic\u00a056(4), 1469\u20131485 (1991)","journal-title":"The Journal of Symbolic Logic"},{"key":"6_CR8","unstructured":"Lomuscio, A.: Information Sharing Among Ideal Agents. PhD thesis, School of Computer Science, University of Brimingham (1999)"},{"key":"6_CR9","unstructured":"Padmanabhan, V.: On Extending BDI Logics. PhD thesis, School of Information Technology, Griffith University, Brisbane, Australia (2003)"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11961536_8","volume-title":"Declarative Agent Languages and Technologies IV","author":"V. Padmanabhan","year":"2006","unstructured":"Padmanabhan, V., Governatori, G.: A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 105\u2013122. Springer, Heidelberg (2006)"},{"key":"6_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-36668-3_18","volume-title":"PRICAI 2006: Trends in Artificial Intelligence","author":"V. Padmanabhan","year":"2006","unstructured":"Padmanabhan, V., Governatori, G.: On Constructing Fibred Tableaux for BDI Logics. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol.\u00a04099, pp. 150\u2013160. Springer, Heidelberg (2006)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Popkorn, S.: First Steps in Modal logic. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511983382"},{"key":"6_CR13","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Principles of KRR (KR 1991). Morgan Kaufmann (1991)"},{"key":"6_CR14","unstructured":"Rao, A.S., Georgeff, M.P.: Formal models and decision procedures for multi-agent systems. Technical note 61, Australian Artificial Intelligence Institute (1995)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. J. Log. Comput.\u00a09(2), 149\u2013179 (1999)","journal-title":"J. Log. Comput."},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/10.4.413","volume":"10","author":"A. Sernadas","year":"2002","unstructured":"Sernadas, A., Sernadas, C., Zanardo, A.: Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL\u00a010(4), 413\u2013451 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"6_CR17","unstructured":"Wolter, F.: Fusions of modal logics revisited. In: Advances in Modal Logic. CSLI Lecture notes 87, vol.\u00a01 (1997)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Reasoning About Rational Agents. MIT (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"414","DOI":"10.2307\/2694931","volume":"66","author":"A. Zanardo","year":"2001","unstructured":"Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: Completeness preservation. J. Symb. Log.\u00a066(1), 414\u2013439 (2001)","journal-title":"J. Symb. Log."}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25725-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T10:54:11Z","timestamp":1742036051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25725-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642257247","9783642257254"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25725-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}