{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T21:16:13Z","timestamp":1790111773646,"version":"4.0.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T00:00:00Z","timestamp":1491523200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002341","name":"Suomen Akatemia","doi-asserted-by":"publisher","award":["1270335"],"award-info":[{"award-number":["1270335"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005189","name":"Estonian Research Competency Council","doi-asserted-by":"publisher","award":["PUT 1305"],"award-info":[{"award-number":["PUT 1305"]}],"id":[{"id":"10.13039\/501100005189","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Chinese National Foundation of Social Sciences and Humanities","award":["16CZX049"],"award-info":[{"award-number":["16CZX049"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s11229-017-1390-3","type":"journal-article","created":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T05:53:21Z","timestamp":1491544401000},"page":"3621-3650","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Gamma graph calculi for modal logics"],"prefix":"10.1007","volume":"195","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahti-Veikko","family":"Pietarinen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"key":"1390_CR1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1017\/S1755020315000362","volume":"9","author":"F Bellucci","year":"2016","unstructured":"Bellucci, F., & Pietarinen, A.-V. (2016). Existential graphs as an instrument for logical analysis. Alpha, Review of Symbolic Logic, 9, 209\u2013237.","journal-title":"Alpha, Review of Symbolic Logic"},{"key":"1390_CR2","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/978-3-642-15223-8_24","volume-title":"Model-based reasoning in science and technology","author":"G Caterina","year":"2010","unstructured":"Caterina, G., & Gangle, R. (2010). Consequences of a diagrammatic representation of Paul Cohen\u2019s forcing technique based on C. S. Peirce\u2019s existential graphs. In L. Magnani (Ed.), Model-based reasoning in science and technology (pp. 429\u2013443). Berlin: Springer."},{"key":"1390_CR3","first-page":"1","volume":"196","author":"L Floridi","year":"2006","unstructured":"Floridi, L. (2006). The logic of being informed. Logique and Analyse, 196, 1\u201328.","journal-title":"Logique and Analyse"},{"key":"1390_CR4","volume-title":"Knowledge and belief: An introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Cornell: Cornell University Press."},{"key":"1390_CR5","doi-asserted-by":"crossref","unstructured":"Ma, M., & Pietarinen, A.-V. (2017a). Peirce\u2019s sequent proofs of distributivity. In Ghosh, S., & Prasad, S. (Eds.), Logic and its applications: Proceedings of the 7th Indian logic conference, lecture notes in computer science (Vol. 10119, pp. 168\u2013183).","DOI":"10.1007\/978-3-662-54069-5_13"},{"key":"1390_CR6","doi-asserted-by":"crossref","unstructured":"Ma, M., & Pietarinen, A.-V. (2017b). Graphical sequent calculi for modal logics. In The 9th workshop on methods for modalities, electronic proceedings in theoretical computer science (pp. 91\u2013103).","DOI":"10.4204\/EPTCS.243.7"},{"key":"1390_CR7","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-0-585-37463-5_28","volume-title":"Temporal logic: From ancient ideas to artificial intelligence","author":"P \u00d8hrstr\u00f8m","year":"1995","unstructured":"\u00d8hrstr\u00f8m, P. (1995). Graphs for time and modality. In P. \u00d8hrstr\u00f8m & R. Hasle (Eds.), Temporal logic: From ancient ideas to artificial intelligence (pp. 320\u2013343). Dordrecht: Kluwer Academics."},{"key":"1390_CR8","unstructured":"Peirce, C. S. (1865\u20131909). The logic notebook (R 339)."},{"key":"1390_CR9","unstructured":"Peirce, C. S. (1896\u20131906). [Notes on logical graphs]. Supplements (S-26, S-28, S-30, S-31)."},{"key":"1390_CR10","unstructured":"Peirce, C. S. (1900). Letter to Christine Ladd-Franklin, November 9 (R L 237)."},{"key":"1390_CR11","unstructured":"Peirce, C. S. (1903a). Lowell lectures. Lecture III (R 462, S-31)."},{"key":"1390_CR12","unstructured":"Peirce, C. S. (1903b). Lowell lectures. Lecture IV. Existential graphs, gamma part (R 467, R 470, S-31)."},{"key":"1390_CR13","unstructured":"Peirce, C. S. (1903c). Lowell lectures. Lecture V (R 468\u2013470)."},{"key":"1390_CR14","unstructured":"Peirce, C. S. (1903d). Lowell lectures. Notes on graphs. Notebook (R 496)."},{"key":"1390_CR15","volume-title":"A syllabus of certain topics of logic","author":"CS Peirce","year":"1903","unstructured":"Peirce, C. S. (1903e). A syllabus of certain topics of logic. Boston: Alfred Mudge & Son. (R 478, 478( $$s$$ s ))."},{"key":"1390_CR16","unstructured":"Peirce, C. S. (1904). Reason\u2019s conscience. A practical treatise on the theory of discovery; considered as semeiotic (R 693a, R S-26)."},{"key":"1390_CR17","doi-asserted-by":"crossref","unstructured":"Peirce, C. S. (1906\u20137). (PAP) (R 293).","DOI":"10.25291\/VR\/1906-VLR-293"},{"key":"1390_CR18","unstructured":"Peirce, C. S. (1906a). On existential graphs as an instrument of logical research (R 470, 498\u2013499, S-36)."},{"key":"1390_CR19","doi-asserted-by":"crossref","first-page":"492","DOI":"10.5840\/monist190616436","volume":"16","author":"CS Peirce","year":"1906","unstructured":"Peirce, C. S. (1906b). Prolegomena to an apology for pragmaticism. Monist, 16, 492\u2013546.","journal-title":"Monist"},{"key":"1390_CR20","unstructured":"Peirce, C. S. (1906c). Prolegomena to an apology for pragmaticism. Draft versions (R 295\/292b)."},{"key":"1390_CR21","unstructured":"Peirce, C. S. (1908). The bed-rock beneath pragmaticism (R 300)."},{"key":"1390_CR22","unstructured":"Peirce, C. S. (1910). Diversions of definitions (essays definitions) (R 650)."},{"key":"1390_CR23","unstructured":"Peirce, C. S. (1911a). Assurance through reasoning (R 669)."},{"key":"1390_CR24","unstructured":"Peirce, C. S. (1911b). Letter to Risteen: A diagrammatic syntax. December 6 (R L 376)."},{"key":"1390_CR25","unstructured":"Peirce, C. S. (1931\u20131966). The collected papers of Charles S. Peirce (C. Hartshorne, P. Weiss, & A. W. Burks, Eds.), (Vol. 8). Cambridge: Harvard University Press. (Cited as CP followed by volume and paragraph number)."},{"key":"1390_CR26","unstructured":"Peirce, C. S. (1966). Manuscripts in the Houghton Library of Harvard University, as identified by Richard Robin, Annotated Catalogue of the Papers of Charles S. Peirce, Amherst: University of Massachusetts Press, 1967, and in The Peirce Papers: A supplementary catalogue, Transactions of the C.S. Peirce Society 7 (1971): 37\u201357. (Cited as R followed by manuscript number and, when available, page number)."},{"key":"1390_CR27","unstructured":"Peirce, C. S. (1976). The new elements of mathematics by Charles S. Peirce. (C. Eisele, Ed), (Vol. 4). The Hague: Mouton. (Cited as NEM followed by volume and page number)."},{"key":"1390_CR28","unstructured":"Peirce, C. S. (1982-). Writings of Charles S. Peirce: A chronological edition. (E. C. Moore, C. J. W. Kloesel, et al. Eds.), (Vol. 7). Bloomington: Indiana University Press. (Cited as W followed by volume and page number)."},{"key":"1390_CR29","first-page":"144","volume":"6","author":"A-V Pietarinen","year":"2001","unstructured":"Pietarinen, A.-V. (2001). Intentional identity revisited. Nordic Journal of Philosophical Logic, 6, 144\u2013188.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"1390_CR30","volume-title":"Signs of logic: Peircean themes on the philosophy of language, games, and communication","author":"A-V Pietarinen","year":"2006","unstructured":"Pietarinen, A.-V. (2006b). Signs of logic: Peircean themes on the philosophy of language, games, and communication. Dordrecht: Springer."},{"issue":"1","key":"1390_CR31","first-page":"85","volume":"9","author":"A-V Pietarinen","year":"2008","unstructured":"Pietarinen, A.-V. (2008a). The proof of pragmatism: Comments on Christopher Hookway. Cognitio, 9(1), 85\u201392.","journal-title":"Cognitio"},{"key":"1390_CR32","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1007\/978-3-540-87730-1_49","volume-title":"Diagrammatic representation and inference, lecture notes in computer science","author":"A-V Pietarinen","year":"2008","unstructured":"Pietarinen, A.-V. (2008b). Diagrammatic logic of existential graphs: A case study of commands. In G. Stapleton, J. Howse, & J. Lee (Eds.), Diagrammatic representation and inference, lecture notes in computer science (Vol. 5223, pp. 404\u2013407). Heidelberg: Springer."},{"issue":"3","key":"1390_CR33","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1080\/01445340.2011.555506","volume":"32","author":"A-V Pietarinen","year":"2011","unstructured":"Pietarinen, A.-V. (2011a). Existential graphs: What the diagrammatic logic of cognition might look like. History and Philosophy of Logic, 32(3), 265\u2013281.","journal-title":"History and Philosophy of Logic"},{"key":"1390_CR34","first-page":"315","volume":"186","author":"A-V Pietarinen","year":"2011","unstructured":"Pietarinen, A.-V. (2011b). Moving pictures of thought II: Graphs, games, and pragmaticism\u2019s proof. Semiotica, 186, 315\u2013331.","journal-title":"Semiotica"},{"key":"1390_CR35","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1007\/s11229-015-0677-5","volume":"192","author":"A-V Pietarinen","year":"2015","unstructured":"Pietarinen, A.-V. (2015a). Exploring the beta quadrant. Synthese, 192, 941\u2013970.","journal-title":"Synthese"},{"key":"1390_CR36","unstructured":"Pietarinen, A.-V. (2015b). Two papers on existential graphs by Charles S. Peirce: 1. Recent developments of existential graphs and their consequences for logic (MS 498, 499, 490, S-36, 1906), 2. Assurance through reasoning (MS 669, 670, 1911). Synthese, 92, 881\u2013922."},{"key":"1390_CR37","first-page":"275","volume-title":"Truth and games","author":"A-V Pietarinen","year":"2006","unstructured":"Pietarinen, A.-V., & Snellman, L. (2006a). On Peirce\u2019s late proof of pragmaticism. In T. Aho & A.-V. Pietarinen (Eds.), Truth and games (Vol. 78, pp. 275\u2013288). Helsinki: Acta Philosophica Fennica."},{"key":"1390_CR38","volume-title":"Time and modality","author":"AN Prior","year":"1957","unstructured":"Prior, A. N. (1957). Time and modality. Oxford: Oxford University Press."},{"key":"1390_CR39","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/01445340.2010.543840","volume":"32","author":"E Ramharter","year":"2011","unstructured":"Ramharter, E., & Gottschall, C. (2011). Peirce\u2019s search for a graphical modal logic (propositional part). History and Philosophy of Logic, 32, 153\u2013176.","journal-title":"History and Philosophy of Logic"},{"key":"1390_CR40","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The existential graphs of Charles S. Peirce","author":"DD Roberts","year":"1973","unstructured":"Roberts, D. D. (1973). The existential graphs of Charles S. Peirce. The Hague: Mouton."},{"key":"1390_CR41","first-page":"117","volume-title":"Reinforcing the great chain of being: Studies of the history of modal theories","author":"EF Serene","year":"1981","unstructured":"Serene, E. F. (1981). Anselm\u2019s modal conceptions. In S. Knuuttila (Ed.), Reinforcing the great chain of being: Studies of the history of modal theories (pp. 117\u2013163). Dordrecht: Springer."},{"key":"1390_CR42","unstructured":"Zeman, J. (1964). The graphical logic of Charles S. Peirce. Ph.D. dissertation. University of Chicago."},{"key":"1390_CR43","doi-asserted-by":"crossref","first-page":"480","DOI":"10.2307\/2270176","volume":"32","author":"J Zeman","year":"1967","unstructured":"Zeman, J. (1967). A system of implicit quantification. Journal of Symbolic Logic, 32, 480\u2013504.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1390-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1390-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1390-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T00:17:04Z","timestamp":1601857024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1390-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,7]]},"references-count":43,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["1390"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1390-3","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,7]]}}}