{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T03:40:18Z","timestamp":1736739618513,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_8","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T08:09:10Z","timestamp":1169194150000},"page":"105-122","source":"Crossref","is-referenced-by-count":1,"title":["A Fibred Tableau Calculus for Modal Logics of Agents"],"prefix":"10.1007","author":[{"given":"Vineet","family":"Padmanabhan","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Artosi, A., Benassi, P., Governatori, G., Rotolo, A.: Shakespearian modal logic: A labelled treatment of modal identity. In: Advances in Modal Logic, CSLI, vol.\u00a01 (1998)"},{"issue":"6","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1093\/logcom\/12.6.1027","volume":"12","author":"A. Artosi","year":"2002","unstructured":"Artosi, A., Governatori, G., Rotolo, A.: Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation\u00a012(6), 1027\u20131060 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR3","unstructured":"Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Universita degli Studi di Torino, Italy (1998)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M.: Zooming in, zooming out. Journal of Logic, Language and Information (1996)","DOI":"10.1007\/978-3-7091-6510-2_14"},{"key":"8_CR5","unstructured":"d\u2019Avila Garcez, A.S., Gabbay, D.M.: Fibring neural networks. In: AAAI 2004, pp. 342\u2013347. AAAI\/MIT Press (2004)"},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"8_CR8","volume-title":"Fibring Logics","author":"D.M. Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"8_CR9","series-title":"New Studies in Deontic Logic","volume-title":"Norms, Logics and Information Systems","author":"D.M. Gabbay","year":"1998","unstructured":"Gabbay, D.M., Governatori, G.: Dealing with label dependent deontic modalities. In: Norms, Logics and Information Systems. New Studies in Deontic Logic, IOS Press, Amsterdam (1998)"},{"key":"8_CR10","volume-title":"Labelled Deduction","author":"D.M. Gabbay","year":"2000","unstructured":"Gabbay, D.M., Governatori, G.: Fibred modal tableaux. In: Labelled Deduction. Kluwer academic Publishers, Dordrecht (2000)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-59338-1_29","volume-title":"Theorem Proving with Analytic Tableaux and Related Methods","author":"G. Governatori","year":"1995","unstructured":"Governatori, G.: Labelled tableau for multi-modal logics. In: Baumgartner, P., Posegga, J., H\u00e4hnle, R. (eds.) TABLEAUX 1995. LNCS, vol.\u00a0918, pp. 79\u201394. Springer, Heidelberg (1995)"},{"key":"8_CR12","unstructured":"Governatori, G.: Un modello formale per il ragionamento giuridico. PhD thesis, CIRSFID, University of Bologna (1997)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/S1571-0661(04)81005-3","volume":"78","author":"G. Governatori","year":"2003","unstructured":"Governatori, G.: On the relative complexity of modal tableaux. Electronic Notes in Theoretical Computer Science\u00a078, 36\u201353 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-46238-4_11","volume-title":"AI*IA 99:Advances in Artificial Intelligence","author":"G. Governatori","year":"2000","unstructured":"Governatori, G., Luppi, A.: Labelled tableaux for non-normal modal logics. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol.\u00a01792, pp. 119\u2013130. Springer, Heidelberg (2000)"},{"key":"8_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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. Springer, Heidelberg (2002)"},{"issue":"4","key":"8_CR16","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":"8_CR17","unstructured":"Llyod, J.W.: Modal higher-order logic for agents (2004), http:\/\/users.rsise.anu.edu.au\/~jwl\/beliefs.pdf"},{"key":"8_CR18","unstructured":"Lomuscio, A.: Information Sharing Among Ideal Agents. PhD thesis, School of Computer Science, University of Brimingham (1999)"},{"key":"8_CR19","unstructured":"Padmanabhan, V.: On Extending BDI Logics. PhD thesis, School of Information Technology, Griffith University, Brisbane, Australia (2003)"},{"key":"8_CR20","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":"4","key":"8_CR21","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":"8_CR22","unstructured":"Wolter, F.: Fusions of modal logics revisited. In: Advances in Modal Logic. CSLI Lecture notes 87, vol.\u00a01 (1997)"},{"key":"8_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)"},{"issue":"1","key":"8_CR24","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. Journal of Symbolic Logic\u00a066(1), 414\u2013439 (2001)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T02:45:44Z","timestamp":1736736344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11961536_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}