{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T00:34:26Z","timestamp":1699403666582},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,8,28]],"date-time":"2021-08-28T00:00:00Z","timestamp":1630108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,28]],"date-time":"2021-08-28T00:00:00Z","timestamp":1630108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09962-1","type":"journal-article","created":{"date-parts":[[2021,8,28]],"date-time":"2021-08-28T13:02:37Z","timestamp":1630155757000},"page":"265-289","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Blass Translation for Le\u015bniewski\u2019s Propositional Ontology and Modal Logics"],"prefix":"10.1007","volume":"110","author":[{"given":"Takao","family":"Inou\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,28]]},"reference":[{"key":"9962_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5qvist, L., Deontic logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic, D. Reidel, 1984, pp. 605\u2013714 (also as revised version in second edition, Vol. 8: Springer-Verlag, 2002, pp. 147\u2013264).","DOI":"10.1007\/978-94-009-6259-0_11"},{"key":"9962_CR2","unstructured":"Awodey,\u00a0S., K.\u00a0Kishida, and H.-C.\u00a0Kotzsch, Topos Semantics for Higher-Order Modal Logic, Logique et Analyse 57:591\u2013636, 2014."},{"key":"9962_CR3","first-page":"217","volume":"40","author":"A Blass","year":"1994","unstructured":"Blass,\u00a0A., A faithful modal interpretation of propositional ontology, Mathematica Japonica 40:217\u2013223, 1994.","journal-title":"Mathematica Japonica"},{"key":"9962_CR4","doi-asserted-by":"crossref","unstructured":"Boolos,\u00a0B., The Logic of Provability, Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511625183"},{"key":"9962_CR5","doi-asserted-by":"crossref","unstructured":"Bull, R. A., and K. Segerberg, Basic modal logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic, D. Reidel, 1984, pp. 1\u201388.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"9962_CR6","doi-asserted-by":"crossref","unstructured":"Carnielli,\u00a0W., and C.\u00a0Pizzi, Modalities and Multimodalities, Springer-Verlag, 2008.","DOI":"10.1007\/978-1-4020-8590-1"},{"key":"9962_CR7","doi-asserted-by":"crossref","unstructured":"Chagrov,\u00a0A., and M.\u00a0Zakharyaschev, Modal Logic, Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9962_CR8","unstructured":"Dumitru, M., Modal logic as higher-order logic, in K. Bendov\u00e1, and P. Jirku, (eds.), Miscellanea Logica, Tom V, The Karolinum Press, Charles University in Prague, 2003, pp.7\u201329."},{"key":"9962_CR9","doi-asserted-by":"crossref","unstructured":"Fitting,\u00a0M., Proof Methods for Modal and Intuitionistic Logics, D. Reidel, 1983.","DOI":"10.1007\/978-94-017-2794-5"},{"key":"9962_CR10","unstructured":"Fontaine, P., S. Schulz, and J. Urban, (eds.), Proceedings of the 5th Workshop on PracticalAspects of Automated Reasoning (PAAR 2016), Coimbra, Portugal, 2016 (publishedat http:\/\/ceur-ws.org)."},{"key":"9962_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay,\u00a0D., and F.\u00a0 Guenthner (eds.), Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic, D. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0"},{"key":"9962_CR12","doi-asserted-by":"crossref","unstructured":"Gabbay,\u00a0D., and F.\u00a0 Guenthner (eds.), Handbook of Philosophical Logic, vol. 3, 2nd ed., Springer-Verlag, 2001.","DOI":"10.1007\/978-94-017-0452-6"},{"key":"9962_CR13","doi-asserted-by":"crossref","unstructured":"Gabbay,\u00a0D., and F.\u00a0 Guenthner (eds.), Handbook of Philosophical Logic, vol. 8, 2nd ed., Springer-Verlag, 2002.","DOI":"10.1007\/978-94-017-0462-5"},{"key":"9962_CR14","unstructured":"Gabbay,\u00a0D.\u00a0M, A.\u00a0Kurucz, F.\u00a0Wolter, and M.\u00a0Zakharyaschev, Many-Dimensional Modal Logics: Theory and Application, Elsevier Science B.V., 2003."},{"key":"9962_CR15","doi-asserted-by":"crossref","unstructured":"Gor\u00e9,\u00a0R., Dual Intuitionistic Logic Revisited, in R. Dyckhoff, (ed.), Proceedings Tableaux 2000, LNAI 1847, Springer-Verlag, 2000, pp. 252\u2013267.","DOI":"10.1007\/10722086_21"},{"key":"9962_CR16","unstructured":"Hughes,\u00a0G.\u00a0E., and M.\u00a0J.\u00a0Cresswell, A Companion to Modal Logic, Methuen, 1984."},{"key":"9962_CR17","unstructured":"Humberstone,\u00a0L., Philosophical Applications of Modal Logic, College Publications, 2015."},{"key":"9962_CR18","unstructured":"Inou\u00e9,\u00a0T., Partial interpretation of Le\u015bniewski\u2019s epsilon in modal and intensional logics, (abstract), The Bulletin of Symbolic Logic 1:95\u201396, 1995. (I decided not to publish the full paper of this abstract, because [3] has been published and the essence of it is contained in [23].)"},{"key":"9962_CR19","first-page":"105","volume":"24","author":"T Inou\u00e9","year":"1995","unstructured":"Inou\u00e9,\u00a0T., Hintikka formulas as axioms of refutation calculus, a case study, Bulletin of the Section of Logic 24:105\u2013114, 1995.","journal-title":"Bulletin of the Section of Logic"},{"key":"9962_CR20","first-page":"223","volume":"24","author":"T Inou\u00e9","year":"1995","unstructured":"Inou\u00e9,\u00a0T., Partial interpretations of Le\u015bniewski\u2019s epsilon in von Wright-type deontic logics and provability logics, Bulletin of the Section of Logic 24:223\u2013233, 1995.","journal-title":"Bulletin of the Section of Logic"},{"key":"9962_CR21","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF02120666","volume":"36","author":"A Ishimoto","year":"1977","unstructured":"Ishimoto,\u00a0A., A propositional fragment of Le\u015bniewski\u2019s ontology, Studia Logica 36:285\u2013299, 1977.","journal-title":"Studia Logica"},{"key":"9962_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00370344","volume":"41","author":"M Kobayashi","year":"1982","unstructured":"Kobayashi,\u00a0M. and A.\u00a0Ishimoto, A propositional fragment of Le\u015bniewski\u2019s ontology and its formulation by the tableau method, Studia Logica 41:181\u2013195, 1982.","journal-title":"Studia Logica"},{"key":"9962_CR23","unstructured":"Lagniez,\u00a0J.\u00a0M., D.\u00a0Le Berre, T.\u00a0de Lima and V.\u00a0Montmirail, On checking Kripke models for modal logic K, in P. Fontaine, S. Schulz, and J. Urban, (eds.), Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning (PAAR 2016), Coimbra, Portugal, 2016, pp. 69\u201381."},{"key":"9962_CR24","doi-asserted-by":"crossref","unstructured":"Marx,\u00a0M., and Y.\u00a0Venema, Multi-Dimensional Modal Logic, Springer Science+Business Media, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"key":"9962_CR25","doi-asserted-by":"crossref","unstructured":"Ono,\u00a0H., Proof Theory and Algebra in Logic, Springer-Verlag, 2019.","DOI":"10.1007\/978-981-13-7997-0"},{"key":"9962_CR26","doi-asserted-by":"crossref","unstructured":"Poggiolesi,\u00a0F., Gentzen Calculi for Modal Propositional Logic, Springer-Verlag, 2011.","DOI":"10.1007\/978-90-481-9670-8"},{"key":"9962_CR27","unstructured":"Sch\u00fctte,\u00a0K., Beweistheorie, Springer-Verlag, 1960."},{"key":"9962_CR28","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte,\u00a0K., Proof Theory, Springer-Verlag, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"9962_CR29","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02067245","volume":"3","author":"J S\u0142upecki","year":"1955","unstructured":"S\u0142upecki,\u00a0J., S. Le\u015bniewski\u2019s calculus of names, Studia Logica 3:7\u201371, 1955.","journal-title":"Studia Logica"},{"key":"9962_CR30","doi-asserted-by":"crossref","unstructured":"Smirnov,\u00a0V.\u00a0A., Embedding the elementary ontology of Stanis\u0142aw Le\u015bniewski into the monadic second-order calculus of predicates, Studia Logica 42:197\u2013207, 1983; Correction, Studia Logica 45:231, 1986.","DOI":"10.1007\/BF01063840"},{"key":"9962_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00396902","volume":"46","author":"VA Smirnov","year":"1987","unstructured":"Smirnov,\u00a0V.\u00a0A., Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain, Studia Logica 46:1\u201315, 1987.","journal-title":"Studia Logica"},{"key":"9962_CR32","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski,\u00a0C., Modal logic and self-reference, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic, D. Reidel, 1984, pp. 441\u2013495.","DOI":"10.1007\/978-94-009-6259-0_9"},{"key":"9962_CR33","doi-asserted-by":"crossref","unstructured":"Takano,\u00a0M., Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic, Studia Logica 46:248\u2013253, 1987.","DOI":"10.1007\/BF00372549"},{"key":"9962_CR34","doi-asserted-by":"crossref","unstructured":"Takano,\u00a0M., Syntactical proof of translation and separation theorems on subsystems of elementary ontology, Mathematical Logic Quaterly 37:129\u2013138, 1991.","DOI":"10.1002\/malq.19910370902"},{"key":"9962_CR35","doi-asserted-by":"crossref","unstructured":"Thomason,\u00a0S. K. , Reduction of tense logic to modal logic. I., The Journal of Symbolic Logic 39:549\u2013551, 1974.","DOI":"10.2307\/2272895"},{"key":"9962_CR36","doi-asserted-by":"crossref","unstructured":"Thomason,\u00a0S. K. , Reduction of second-order logic to modal logic. I., Mathematical Logic Quaterly 21:107\u2013114, 1975.","DOI":"10.1002\/malq.19750210114"},{"key":"9962_CR37","volume-title":"Le\u015bniewski\u2019s Systems of Logic and Mereology; History and Re-evaluation","author":"R Urbaniak","year":"2008","unstructured":"Urbaniak,\u00a0R., Le\u015bniewski\u2019s Systems of Logic and Mereology; History and Re-evaluation, PhD thesis, Department of Philosophy, University of Calgary, 2008."},{"key":"9962_CR38","doi-asserted-by":"crossref","unstructured":"Urbaniak,\u00a0R., Le\u015bniewski\u2019s Systems of Logic and Foundations of Mathematics, Springer-Verlag, 2014.","DOI":"10.1007\/978-3-319-00482-2"},{"key":"9962_CR39","doi-asserted-by":"crossref","unstructured":"Urbaniak,\u00a0R., Reduction of second-order logic to modal logic. I., Synthese 191:1605\u20131626, 2014.","DOI":"10.1007\/s11229-013-0354-5"},{"key":"9962_CR40","doi-asserted-by":"crossref","unstructured":"Wansing,\u00a0H., Sequent Systems for Modal Logics, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 8, 2nd ed., Springer-Verlag, 2002, pp. 61\u2013146.","DOI":"10.1007\/978-94-010-0387-2_2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09962-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09962-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09962-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T23:28:01Z","timestamp":1699399681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09962-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,28]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9962"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09962-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,28]]},"assertion":[{"value":"27 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 August 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}