{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T21:28:09Z","timestamp":1767907689241,"version":"3.49.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,2,10]],"date-time":"2018-02-10T00:00:00Z","timestamp":1518220800000},"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":["Stud Logica"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11225-018-9784-x","type":"journal-article","created":{"date-parts":[[2018,2,10]],"date-time":"2018-02-10T06:26:24Z","timestamp":1518243984000},"page":"533-557","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["The Monodic Fragment of Propositional Term Modal Logic"],"prefix":"10.1007","volume":"107","author":[{"given":"Anantha","family":"Padmanabha","sequence":"first","affiliation":[]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,10]]},"reference":[{"issue":"5","key":"9784_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., T.\u00a0A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of ACM 49(5): 672\u2013713, 2002.","journal-title":"Journal of ACM"},{"issue":"1","key":"9784_CR2","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1305\/ndjfl\/1093634564","volume":"34","author":"P Blackburn","year":"1993","unstructured":"Blackburn, P., Nominal tense logic, Notre Dame Journal of Formal Logic 34(1): 56\u201383, 1993.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9784_CR3","volume-title":"Modal Logic (Cambridge Tracts in Theoretical Computer Science)","author":"Patrick Blackburn","year":"2001","unstructured":"Blackburn, P., M. de\u00a0Rijke, and Y. Venema, Modal Logic (Cambridge Tracts in Theoretical Computer Science), Cambridge University Press, 2001."},{"issue":"2","key":"9784_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1021352309671","volume":"72","author":"A Degtyarev","year":"2002","unstructured":"Degtyarev, A., M. Fisher, and A. Lisitsa, Equality and monodic first-order temporal logic, Studia Logica 72(2): 147\u2013156, 2002.","journal-title":"Studia Logica"},{"key":"9784_CR5","doi-asserted-by":"crossref","unstructured":"Fitting, M., and R. L. Mendelsohn, First-Order Modal Logic (Synthese Library), Springer, 1999.","DOI":"10.1007\/978-94-011-5292-1"},{"issue":"1","key":"9784_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1013842612702","volume":"69","author":"M Fitting","year":"2001","unstructured":"Fitting, M., L. Thalmann, and A. Voronkov, Term-modal logics, Studia Logica 69(1): 133\u2013169, 2001.","journal-title":"Studia Logica"},{"issue":"6","key":"9784_CR7","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G Gargov","year":"1993","unstructured":"Gargov, G., and V. Goranko, Modal logic with names, Journal of Philosophical Logic 22(6): 607\u2013636, 1993.","journal-title":"Journal of Philosophical Logic"},{"key":"9784_CR8","unstructured":"Grove, A.\u00a0J., and J.\u00a0Y. Halpern, Naming and identity in a multi-agent epistemic logic, in Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991). Cambridge, MA, USA, April 22\u201325, 1991, 1991, pp. 301\u2013312."},{"key":"9784_CR9","doi-asserted-by":"crossref","unstructured":"Hodkinson, I., F. Wolter, and M. Zakharyaschev, Monodic fragments of first-order temporal logics: 2000\u20132001 ad, in International Conference on Logic for Programming Artificial Intelligence and Reasoning, Springer, 2001, pp. 1\u201323.","DOI":"10.1007\/3-540-45653-8_1"},{"key":"9784_CR10","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"MJ Hughes","year":"1996","unstructured":"Hughes, M. J., and G. E. Cresswell, A New Introduction to Modal Logic, Routledge, 1996."},{"key":"9784_CR11","unstructured":"Kooi, B., Dynamic term-modal logic, in A Meeting of the Minds, 2007, pp. 173\u2013186."},{"key":"9784_CR12","volume-title":"Many-dimensional modal logics: theory and applications","author":"Agi Kurucz","year":"2003","unstructured":"Kurucz, A., F. Wolter, M. Zakharyaschev, and D.\u00a0M. Gabbay, Many-Dimensional Modal Logics: Theory and Applications, vol.148, Gulf Professional Publishing, 2003."},{"key":"9784_CR13","unstructured":"Padmanabha, A., and R. Ramanujam, Model checking a logic over systems with regular sets of processes, in Developmental Aspects of Intelligent Adaptive Systems (DIAS), vol. 1819, CEUR Workshop Proceedings, 2017."},{"key":"9784_CR14","doi-asserted-by":"crossref","unstructured":"Parikh, R., Propositional game logic, in 24th Annual Symposium on Foundations of Computer Science, Tucson, Arizona, USA, 7\u20139 November 1983, 1983, pp. 195\u2013200.","DOI":"10.1109\/SFCS.1983.47"},{"key":"9784_CR15","doi-asserted-by":"crossref","unstructured":"Passy, S., and T. Tinchev, Quantifiers in combinatory PDL: completeness, definability, incompleteness, in Fundamentals of Computation Theory, FCT \u201985, Cottbus, GDR, September 9\u201313, 1985, 1985, pp. 512\u2013519.","DOI":"10.1007\/BFb0028835"},{"key":"9784_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511844072","volume-title":"Epistemic Game Theory: Reasoning and Choice","author":"Perea Andr\u00e9s","year":"2012","unstructured":"Perea, A., Epistemic Game Theory: Reasoning and Choice, Cambridge University Press, 2012."},{"key":"9784_CR17","doi-asserted-by":"crossref","unstructured":"Sturm, H., F. Wolter, and M. Zakharyaschev, Monodic epistemic predicate logic, in European Workshop on Logics in Artificial Intelligence, Springer, 2000, pp. 329\u2013344.","DOI":"10.1007\/3-540-40006-0_23"},{"issue":"1","key":"9784_CR18","first-page":"13","volume":"9","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J., Rational dynamics and epistemic logic in games, IGTR 9(1): 13\u201345, 2007.","journal-title":"IGTR"},{"key":"9784_CR19","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., W. van\u00a0der Hoek, and B. Kooi, Dynamic Epistemic Logic: 337 (Synthese Library), Springer, Netherlands, 2007.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9784_CR20","doi-asserted-by":"crossref","unstructured":"van Emde Boas, P., The convenience of tilings, Lecture Notes in Pure and Applied Mathematics, 1997, pp. 331\u2013363.","DOI":"10.1201\/9780429187490-12"},{"issue":"1","key":"9784_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0168-0072(01)00124-5","volume":"118","author":"F Wolter","year":"2002","unstructured":"Wolter, F., and M. Zakharyaschev, Axiomatizing the monodic fragment of first-order temporal logic, Annals of Pure and Applied Logic 118(1): 133\u2013145, 2002.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9784-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9784-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9784-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T15:43:23Z","timestamp":1570722203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9784-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,10]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9784"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9784-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,10]]},"assertion":[{"value":"10 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}