{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T08:39:18Z","timestamp":1758962358330,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T00:00:00Z","timestamp":1671580800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T00:00:00Z","timestamp":1671580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10849-022-09390-x","type":"journal-article","created":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T13:03:10Z","timestamp":1671627790000},"page":"511-538","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2317-3097","authenticated-orcid":false,"given":"Gennady","family":"Shtakser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,21]]},"reference":[{"issue":"3","key":"9390_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., & van Benthem, J. (1998). Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3), 217\u2013274. https:\/\/doi.org\/10.1023\/A:1004275029985","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9390_CR2","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.2178\/jsl\/1190150147","volume":"67","author":"GA Antonelli","year":"2002","unstructured":"Antonelli, G. A., & Thomason, R. H. (2002). Representability in second-order propositional poly-modal logic. The Journal of Symbolic Logic, 67(3), 1039\u20131054. https:\/\/doi.org\/10.2178\/jsl\/1190150147","journal-title":"The Journal of Symbolic Logic"},{"key":"9390_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.artint.2018.07.004","volume":"263","author":"F Belardinelli","year":"2018","unstructured":"Belardinelli, F., van der Hoek, W., & Kuijer, L. B. (2018). Second-order propositional modal logic: expressiveness and completeness results. Artificial Intelligence, 263, 3\u201345. https:\/\/doi.org\/10.1016\/j.artint.2018.07.004","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"publisher","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic, Vol. 53. In Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press https:\/\/doi.org\/10.1017\/CBO9781107050884","key":"9390_CR4","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"9390_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/bf02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M. J. (1975). Hyperintensional Logic. Studia Logica, 34(1), 25\u201338. https:\/\/doi.org\/10.1007\/bf02314421","journal-title":"Studia Logica"},{"key":"9390_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/B978-044450813-3\/50006-0","volume-title":"Handbook of automated reasoning","author":"A Degtyarev","year":"2001","unstructured":"Degtyarev, A., & Voronkov, A. (2001). The inverse method. In A. Robinson & A. Voronkov (Eds.), Handbook of automated reasoning (Vol. 1, pp. 179\u2013272). Amsterdam: Elsevier Science Publishers B.V."},{"unstructured":"Enderton, H.B. (2009) Second-order and higher-order logic. Stanford Encyclopedia of Philosophy. https:\/\/plato.stanford.edu\/archives\/sum2019\/entries\/logic-higher-order\/.","key":"9390_CR7"},{"issue":"2","key":"9390_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1215\/00294527-3470547","volume":"57","author":"J Goli\u0144ska-Pilarek","year":"2016","unstructured":"Goli\u0144ska-Pilarek, J., & Huuskonen, T. (2016). Non-Fregean propositional logic with quantifiers. Notre Dame Journal of Formal Logic, 57(2), 249\u2013279. https:\/\/doi.org\/10.1215\/00294527-3470547","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"9390_CR9","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E. (1999). On the restraining power of guards. The Journal of Symbolic Logic, 64(4), 1719\u20131742. https:\/\/doi.org\/10.2307\/2586808","journal-title":"The Journal of Symbolic Logic"},{"key":"9390_CR10","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: The MIT Press."},{"issue":"2","key":"9390_CR11","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1023\/A:1015178417181","volume":"70","author":"I Hodkinson","year":"2002","unstructured":"Hodkinson, I. (2002). Loosely guarded fragment of first-order logic has the finite model property. Studia Logica, 70(2), 205\u2013240. https:\/\/doi.org\/10.1023\/A:1015178417181","journal-title":"Studia Logica"},{"key":"9390_CR12","volume-title":"Introduction to relating logic","author":"T Jarmu\u017cek","year":"2020","unstructured":"Jarmu\u017cek, T., & Klonowski, M. (2020). Introduction to relating logic. Beijing: Beijing Normal University."},{"doi-asserted-by":"crossref","unstructured":"Jarmu\u017cek, T., & Malinowski, J. (2019). Boolean connexive logics: Semantics and tableau approach. Logic and Logical Philosophy, 28(3), 427-448. https:\/\/doi.org\/10.12775\/LLP.2019.003","key":"9390_CR13","DOI":"10.12775\/LLP.2019.003"},{"issue":"1","key":"9390_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1305\/ndjfl\/1040067314","volume":"37","author":"M Kaminski","year":"1996","unstructured":"Kaminski, M., & Tiomkin, M. L. (1996). The expressive power of second-order propositional modal logic. Notre Dame Journal of Formal Logic, 37(1), 35\u201343. https:\/\/doi.org\/10.1305\/ndjfl\/1040067314","journal-title":"Notre Dame Journal of Formal Logic"},{"unstructured":"Kerber, M. (1991) How to prove higher order theorems in first order logic. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI), (pp. 137\u2013142).","key":"9390_CR15"},{"issue":"2","key":"9390_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1070\/RM1978v033n02ABEH002304","volume":"33","author":"AI Kokorin","year":"1978","unstructured":"Kokorin, A. I., & Pinus, A. G. (1978). Decidability problems of extended theories. Russian Mathematical Surveys, 33(2), 53\u201396.","journal-title":"Russian Mathematical Surveys"},{"issue":"2","key":"9390_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H. (2019). HYPE: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, 48(2), 305\u2013405. https:\/\/doi.org\/10.1007\/s10992-018-9467-0","journal-title":"Journal of Philosophical Logic"},{"issue":"1\u20132","key":"9390_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(94)00010-X","volume":"73","author":"Y Lesp\u00e9rance","year":"1995","unstructured":"Lesp\u00e9rance, Y., & Levesque, H. J. (1995). Indexical knowledge and robot action - A logical account. Artificial Intelligence, 73(1\u20132), 69\u2013115. https:\/\/doi.org\/10.1016\/0004-3702(94)00010-X","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9390_CR19","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Levesque, H. J., Lin, F., & Scherl, R. B. (2000). Ability and knowing how in the situation calculus. Studia Logica, 66(1), 165\u2013186. https:\/\/doi.org\/10.1023\/A:1026761331498","journal-title":"Studia Logica"},{"issue":"2","key":"9390_CR20","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s11225-011-9304-8","volume":"97","author":"S Lewitzka","year":"2011","unstructured":"Lewitzka, S. (2011). $$\\in _K$$: a Non-Fregean logic of explicit knowledge. Studia Logica, 97(2), 233\u2013264. https:\/\/doi.org\/10.1007\/s11225-011-9304-8","journal-title":"Studia Logica"},{"key":"9390_CR21","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1011207512025","volume":"10","author":"M Marx","year":"2001","unstructured":"Marx, M. (2001). Tolerance logic. Journal of Logic, Language and Information, 10, 353\u2013374. https:\/\/doi.org\/10.1023\/A:1011207512025","journal-title":"Journal of Logic, Language and Information"},{"key":"9390_CR22","volume-title":"Foundations without foundationalism. A case for second-order logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S. (1991). Foundations without foundationalism. A case for second-order logic. Oxford: Oxford University Press."},{"issue":"3","key":"9390_CR23","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s11225-009-9182-5","volume":"91","author":"Y Shramko","year":"2009","unstructured":"Shramko, Y., & Wansing, H. (2009). The slingshot argument and sentential identity. Studia Logica, 91(3), 429\u2013455. https:\/\/doi.org\/10.1007\/s11225-009-9182-5","journal-title":"Studia Logica"},{"issue":"2","key":"9390_CR24","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s11225-017-9741-0","volume":"106","author":"G Shtakser","year":"2018","unstructured":"Shtakser, G. (2018). Propositional epistemic logics with quantification over agents of knowledge. Studia Logica, 106(2), 311\u2013344. https:\/\/doi.org\/10.1007\/s11225-017-9741-0","journal-title":"Studia Logica"},{"issue":"4","key":"9390_CR25","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/s11225-018-9824-6","volume":"107","author":"G Shtakser","year":"2019","unstructured":"Shtakser, G. (2019). Propositional epistemic logics with quantification over agents of knowledge (An alternative approach). Studia Logica, 107(4), 753\u2013780. https:\/\/doi.org\/10.1007\/s11225-018-9824-6","journal-title":"Studia Logica"},{"key":"9390_CR26","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R Suszko","year":"1971","unstructured":"Suszko, R. (1971). Identity connective and modality. Studia Logica, 27, 7\u201341.","journal-title":"Studia Logica"},{"issue":"2","key":"9390_CR27","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10992-005-9012-9","volume":"35","author":"B ten Cate","year":"2006","unstructured":"ten Cate, B. (2006). Expressivity of second-order propositional modal logic. Journal of Philosophical Logic, 35(2), 209\u2013223. https:\/\/doi.org\/10.1007\/s10992-005-9012-9","journal-title":"Journal of Philosophical Logic"},{"unstructured":"van Benthem, J. (1997). Dynamic bits and pieces. Technical Report LP-97-01. Institute for Logic, Language and Computation, University of Amsterdam.","key":"9390_CR28"},{"key":"9390_CR29","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-94-015-9833-0_3","volume-title":"Handbook of philosophical logic","author":"J van Benthem","year":"2001","unstructured":"van Benthem, J., & Doets, K. (2001). Higher-order logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 1, pp. 189\u2013244). Amsterdam: Kluwer Academic Publisher.","edition":"2"},{"unstructured":"Wansing, H. (2020) Connexive logic. Stanford encyclopedia of philosophy.","key":"9390_CR30"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09390-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09390-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09390-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T10:11:23Z","timestamp":1688379083000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09390-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,21]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["9390"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09390-x","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2022,12,21]]},"assertion":[{"value":"30 November 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}