{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T06:09:46Z","timestamp":1775282986072,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030017125","type":"print"},{"value":"9783030017132","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01713-2_11","type":"book-chapter","created":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T14:22:06Z","timestamp":1542982926000},"page":"147-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Decidable Term-Modal Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4021-8667","authenticated-orcid":false,"given":"Eugenio","family":"Orlandelli","sequence":"first","affiliation":[]},{"given":"Giovanna","family":"Corsi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Alechina, N.: Epistemic coalition logic: completeness and complexity. In: Proceedings of AAMAS 2012, 1099\u20131106 (2012)","DOI":"10.65109\/FXEX6258"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1016\/j.artint.2009.02.003","volume":"173","author":"F Belardinelli","year":"2009","unstructured":"Belardinelli, F., Lomuscio, A.: Quantified epistemic logic for reasoning about knowledge in multi-agent systems. Artif. Intell. 173, 982\u20131013 (2009)","journal-title":"Artif. Intell."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., Ghilardi, S.: First-order modal logic. In: Blackburn, P., et al. (eds.) Handbook of Modal Logic, pp. 549\u2013620. Elsevier, Amsterdam (2007)","DOI":"10.1016\/S1570-2464(07)80012-7"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1080\/11663081.2014.966625","volume":"24","author":"E Calardo","year":"2014","unstructured":"Calardo, E., Rotolo, A.: Variants of multi-relational semantics for propositional non-normal modal logics. J. Appl. Non-Class. Log. 24, 293\u2013320 (2014)","journal-title":"J. Appl. Non-Class. Log."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1007\/s11225-013-9528-x","volume":"101","author":"G Corsi","year":"2013","unstructured":"Corsi, G., Orlandelli, E.: Free quantified epistemic logics. Stud. Log. 101, 1159\u20131183 (2013)","journal-title":"Stud. Log."},{"key":"11_CR6","unstructured":"Corsi, G., Orlandelli, E.: Sequent calculi for free quantified epistemic logics. In: Proceedings of ARQNL 2016, pp. 21\u201335. CEUR-WS (2016)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-94-017-9011-6_2","volume-title":"Logic, Reasoning, and Rationality","author":"G Corsi","year":"2014","unstructured":"Corsi, G., Tassi, G.: A new approach to epistemic logic. In: Weber, E. (ed.) Logic, Reasoning, and Rationality, pp. 27\u201344. Springer, Dordrecht (2014). https:\/\/doi.org\/10.1007\/978-94-017-9011-6_2"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1017\/bsl.2015.7","volume":"21","author":"R Dyckhoff","year":"2015","unstructured":"Dyckhoff, R., Negri, S.: Geometrization of first-order logic. Bull. Symb. Log. 21, 126\u2013163 (2015)","journal-title":"Bull. Symb. Log."},{"key":"11_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., et al.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1013842612702","volume":"69","author":"M Fitting","year":"2001","unstructured":"Fitting, M., et al.: Term-modal logics. Stud. Log. 69, 133\u2013169 (2001)","journal-title":"Stud. Log."},{"key":"11_CR11","unstructured":"French, T., et al.: Succinctness of epistemic languages. In: Proceedings of IJCAI 2011, pp. 881\u2013886. AAAI Press (2011)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Garg, D., et al.: Countermodels from sequent calculi in multi-modal logics. In: Proceedings of LICS 2012, pp. 315\u2013324. IEEE Press (2012)","DOI":"10.1109\/LICS.2012.42"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-94-017-2798-3_15","volume-title":"Proof Theory of Modal Logic","author":"O Gasquet","year":"1996","unstructured":"Gasquet, O., Herzig, A.: From classical to normal modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logic, pp. 293\u2013311. Kluwer, Dordrecht (1996). https:\/\/doi.org\/10.1007\/978-94-017-2798-3_15"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s11225-014-9556-1","volume":"103","author":"D Gilbert","year":"2015","unstructured":"Gilbert, D., Maffezioli, P.: Modular sequent calculi for classical modal logics. Stud. Log. 103, 175\u2013217 (2015)","journal-title":"Stud. Log."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1093\/logcom\/3.4.345","volume":"3","author":"A Grove","year":"1993","unstructured":"Grove, A., Halpern, J.: Naming and identity in epistemic logics part 1: the propositional case. J. Log. Comp. 3, 345\u2013378 (1993)","journal-title":"J. Log. Comp."},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J Halpern","year":"1992","unstructured":"Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54, 319\u2013379 (1992)","journal-title":"Artif. Intell."},{"key":"11_CR17","unstructured":"Hansen, H.: Monotone Modal Logic (M.Th.). ILLC Preprints, Amsterdam (2003)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M Kracht","year":"1999","unstructured":"Kracht, M., Wolter, F.: Normal monomodal logics can simulate all others. J. Symb. Log. 64, 99\u2013138 (1999)","journal-title":"J. Symb. Log."},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BFb0013578","volume-title":"Intelligent Agents III Agent Theories, Architectures, and Languages","author":"A Lomuscio","year":"1997","unstructured":"Lomuscio, A., Colombetti, M.: QLB: a quantified logic for belief. In: M\u00fcller, J.P., Wooldridge, M.J., Jennings, N.R. (eds.) ATAL 1996. LNCS, vol. 1193, pp. 71\u201385. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0013578"},{"key":"11_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S Negri","year":"2011","unstructured":"Negri, S., von Plato, J.: Proof Analysis. CUP, Cambridge (2011)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Padmanabha, A., Ramanujam, R.: The monodic fragment of propositional term modal logic. Stud. Log. 1\u201325 (2018). Online First","DOI":"10.1007\/s11225-018-9784-x"},{"key":"11_CR22","first-page":"119","volume-title":"Topics in the Theory of Computation","author":"R Parikh","year":"1985","unstructured":"Parikh, R.: The logic of games and its applications. In: Karpinski, M., van Leeuwen, J. (eds.) Topics in the Theory of Computation, pp. 119\u2013139. Elsevier, Amsterdam (1985)"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. J. Log. Comput. 12, 149\u2013166 (2002)","journal-title":"J. Log. Comput."},{"key":"11_CR24","unstructured":"Sedlar, I.: Term-modal logic of evidence (2016). Unpublished paper"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Vardi, M.: On the complexity of epistemic reasoning. In: Proceedings of LICS 1989, pp. 243\u2013252. IEEE Press (1989)","DOI":"10.1109\/LICS.1989.39179"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01713-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:30:18Z","timestamp":1775280618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01713-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030017125","9783030017132"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01713-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}