{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:03Z","timestamp":1725467583983},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054919","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:55Z","timestamp":1153991455000},"page":"255-269","source":"Crossref","is-referenced-by-count":2,"title":["Peircean graphs for the modal logic S5"],"prefix":"10.1007","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.001.0001"},{"key":"19_CR2","unstructured":"T. Bra\u00fcner. A cut-free Gentzen formulation of the modal logic S5. 12 pages. Manuscript, 1998."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"R. Bull and K. Segerberg. Basic modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II Extensions of Classical Logic, pages 1\u201388. D. Reidel Publishing Company, 1984.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1305\/ndjfl\/1093894722","volume":"13","author":"M. Fitting","year":"1972","unstructured":"M. Fitting. Tableau methods of proof for modal logics. Notre Dame Journal of Formal Logic, 13: 237\u2013247, 1972.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"19_CR5","first-page":"365","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations","author":"M. Fitting","year":"1993","unstructured":"M. Fitting. Basic modal logic. In D. Gabbay et al., editor, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations, pages 365\u2013448. Oxford University Press, Oxford, 1993."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"G. Gentzen. Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift, 39, 1934.","DOI":"10.1007\/BF01201353"},{"key":"19_CR7","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989."},{"key":"19_CR8","unstructured":"G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, 1968."},{"key":"19_CR9","unstructured":"G. Mints. A Short Introduction to Modal Logic. CSLI, 1992."},{"key":"19_CR10","first-page":"113","volume":"9","author":"M. Ohnishi","year":"1957","unstructured":"M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 9: 113\u2013130, 1957.","journal-title":"Osaka Mathematical Journal"},{"key":"19_CR11","first-page":"115","volume":"11","author":"M. Ohnishi","year":"1959","unstructured":"M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi, II. Osaka Mathematical Journal, 11: 115\u2013120, 1959.","journal-title":"Osaka Mathematical Journal"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"P. \u00d8hrstr\u00f8m. C. S. Peirce and the quest for gamma graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027883"},{"key":"19_CR13","unstructured":"D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist and Wiksell, 1965."},{"key":"19_CR14","unstructured":"D. Scott, editor. Notes on the Formalisation of Logic. Sub-faculty of Philosophy, University of Oxford, 1981."},{"key":"19_CR15","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984."},{"key":"19_CR16","volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","author":"J. F. Sowa","year":"1998","unstructured":"J. F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing Company, Boston, 1998."},{"key":"19_CR17","unstructured":"H. van den Berg. Modal logics for conceptual graphs. In Proceedings of First International Conference on Conceptual Structures, volume 699 of LNCS. Springer-Verlag, 1993."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"J. Zeman. Peirce's graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027877"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T11:55:30Z","timestamp":1627646130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0054919","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}