{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,3]],"date-time":"2025-02-03T05:04:44Z","timestamp":1738559084784,"version":"3.35.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T00:00:00Z","timestamp":1224633600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11229-008-9406-7","type":"journal-article","created":{"date-parts":[[2008,10,21]],"date-time":"2008-10-21T16:55:40Z","timestamp":1224608140000},"page":"409-431","source":"Crossref","is-referenced-by-count":3,"title":["A positive information logic for inferential information"],"prefix":"10.1007","volume":"167","author":[{"given":"Sebastian","family":"Sequoiah-Grayson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,22]]},"reference":[{"key":"9406_CR1","unstructured":"Abramsky, S. (2007). In J. van Benthem & P. Adriaans (Eds.), Information, processes and games."},{"key":"9406_CR2","first-page":"461","volume":"149","author":"P. Allo","year":"2006","unstructured":"Allo P. (2006) Local information and adaptive consequence. Logique et Analyse 149: 461\u2013488","journal-title":"Logique et Analyse"},{"issue":"6","key":"9406_CR3","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1007\/s10992-007-9054-2","volume":"36","author":"P. Allo","year":"2007","unstructured":"Allo P. (2007) Logical pluralism and semantic information. Journal of Philosophical Logic 36(6): 659\u2013694","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9406_CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.entcs.2006.02.012","volume":"157","author":"A. Baltag","year":"2006","unstructured":"Baltag A., Sadrzadeh M. (2006) The algebra of multi-agent dynamic belief revision. Electronic Notes in Theoretical Computer Science 157(4): 37\u201356","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9406_CR5","volume-title":"Situation theory and its applications 3, CSLI Lecture Notes 37","author":"J. Barwise","year":"1993","unstructured":"Barwise J. et al (1993) Constraints, channels, and the flow of information. In: Aczel P.(eds) Situation theory and its applications 3, CSLI Lecture Notes 37. CSLI Publications, Stanford"},{"key":"9406_CR6","volume-title":"Situations and attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise J., Perry J. (1983) Situations and attitudes. CSLI Publications, Stanford"},{"key":"9406_CR7","doi-asserted-by":"crossref","unstructured":"Barwise, J., & Seligman, J. (1997). Information flow: The logic of distributed systems. Cambridge: Cambridge Tracts in Theoretical Computer Science # 44, Cambridge University Press.","DOI":"10.1017\/CBO9780511895968"},{"key":"9406_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge Tracts in Theoretical Computer Science # 53. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"9406_CR9","unstructured":"Buszkowski, W. (1989). Remarks on autoepistemic logic, typescript."},{"key":"9406_CR10","unstructured":"Coecke, B., & Martin, K. (2002). A partial order on classical and quantum states. Research report PRG-RR-02-07, http:\/\/www.comlab.ox.ac.uk\/oucl\/publications\/tr\/rr-02-07.html ."},{"key":"9406_CR11","volume-title":"The logical basis of metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett M. (1991) The logical basis of metaphysics. Harvard University Press, Cambridge, MA"},{"key":"9406_CR12","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., & Hardegree, G. (2001). Algebraic methods in philosophical logic. Oxford: Oxford Science Publications, Oxford Logic Guides # 41, Oxford University Press.","DOI":"10.1093\/oso\/9780198531920.001.0001"},{"key":"9406_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. (1995) Reasoning about knowledge. MIT Press, Cambridge, MA"},{"key":"9406_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/B:MIND.0000021684.50925.c9","volume":"14","author":"L. Floridi","year":"2003","unstructured":"Floridi L. (2003) Outline of a theory of strongly semantic information. Minds and Machines 14: 197\u2013222","journal-title":"Minds and Machines"},{"key":"9406_CR15","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. (1996). Labelled deductive systems (Vol. 1). Oxford Logic Guides No. 33. Clarendon, Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"9406_CR16","unstructured":"Galatos, N., Jipsen, T., Kowalski, T., & Ono, H. (2007). Residuated lattices: An algebraic glimpse at substructural logic. Studies in logic and the foundations of mathematics (Vol. 151). The Netherlands: Elsevier."},{"key":"9406_CR17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-94-010-3296-4_8","volume-title":"Information and inference.","author":"J. Hintikka","year":"1970","unstructured":"Hintikka J. (1970) Surface information and depth information. In: Hintikka J., Suppes P.(eds) Information and inference.. Synthese Library, Humanities Press, New York, pp 263\u2013297"},{"key":"9406_CR18","volume-title":"Logic, language-games, and information","author":"J. Hintikka","year":"1973","unstructured":"Hintikka J. (1973) Logic, language-games, and information. Clarendon Press, Oxford"},{"key":"9406_CR19","first-page":"345","volume":"49","author":"M. Jago","year":"2006","unstructured":"Jago M. (2006) Imagine the possibilities (information without overload). Logique et Analyse 49: 345\u2013370","journal-title":"Logique et Analyse"},{"key":"9406_CR20","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1961). On the calculus of syntactic types. In R. Jakobsen (Ed.), Structure of language and its mathematical aspects (pp. 166\u2013178). Providence: American Mathematical Society.","DOI":"10.1090\/psapm\/012\/9972"},{"key":"9406_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"Levesque H.J. (1990) All i know: A study in autoepistemic logic. Artificial Intelligence 42: 263\u2013309","journal-title":"Artificial Intelligence"},{"key":"9406_CR22","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF00413865","volume":"109","author":"E. Mares","year":"1997","unstructured":"Mares E. (1997) Relevant logic and the theory of information. Synthese 109: 345\u2013360","journal-title":"Synthese"},{"key":"9406_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant logic: A philosophical interpretation","author":"E. Mares","year":"2004","unstructured":"Mares E. (2004) Relevant logic: A philosophical interpretation. Cambridge University Press, Great Britain"},{"key":"9406_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: A primer, trends in logic: Studia logica library (Vol. 13)","author":"F. Paoli","year":"2002","unstructured":"Paoli F. (2002) Substructural logics: A primer, trends in logic: Studia logica library (Vol. 13). Kluwer Academic Publishers, The Netherlands"},{"key":"9406_CR25","volume-title":"An introduction to non-classical logic","author":"G. Priest","year":"2001","unstructured":"Priest G. (2001) An introduction to non-classical logic. Cambridge University Press, Great Britain"},{"issue":"2","key":"9406_CR26","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/jigpal\/2.2.137","volume":"2","author":"G. Restall","year":"1994","unstructured":"Restall G. (1994) A useful substructural logic. Bulletin of the IGPL 2(2): 137\u2013148","journal-title":"Bulletin of the IGPL"},{"key":"9406_CR27","first-page":"463","volume-title":"Logic, language and computation","author":"G. Restall","year":"1996","unstructured":"Restall G. (1996) Information flow and relevant logics. In: Seligman J., Westerstahl D.(eds) Logic, language and computation. Stanford California, CSLI, pp 463\u2013477"},{"key":"9406_CR28","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An introduction to substructural logics","author":"G. Restall","year":"2000","unstructured":"Restall, G. (2000). An introduction to substructural logics. London: Routledge."},{"key":"9406_CR29","first-page":"371","volume":"49","author":"S. Sequoiah-Grayson","year":"2006","unstructured":"Sequoiah-Grayson S. (2006) Information flow and impossible situations. Logique et Analyse 49: 371\u2013398","journal-title":"Logique et Analyse"},{"key":"9406_CR30","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s11023-007-9072-4","volume":"17","author":"S. Sequoiah-Grayson","year":"2007","unstructured":"Sequoiah-Grayson S. (2007) The metaphilosophy of information. Minds and Machines 17: 331\u2013344","journal-title":"Minds and Machines"},{"key":"9406_CR31","unstructured":"Sequoiah-Grayson, S. (2008a). Metasemantic information and the scandal of deduction. In The Logica Yearbook 2007, Proceedings of the 21st International Symposia Logica 2007, Filosophia, Prague, 2008 (forthcoming)."},{"issue":"1","key":"9406_CR32","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s10992-007-9060-4","volume":"37","author":"S. Sequoiah-Grayson","year":"2008","unstructured":"Sequoiah-Grayson S. (2008) The scandal of deduction: Hintikka on the information yield of deductive inferences. Journal of Philosophical Logic 37(1): 67\u201394","journal-title":"Journal of Philosophical Logic"},{"key":"9406_CR33","unstructured":"Sequoiah-Grayson, S. (2009). Negative information and split negation. In The Logica Yearbook 2008, Proceedings of the 22st International Symposia Logica 2008, Filosophia, Prague, 2009 (forthcoming)."},{"key":"9406_CR34","unstructured":"Shannon, C. E. (1950). The lattice theory of information, reprinted. In N. J. A. Sloane & A. D. Wyner (Eds.), Collected papers. Los Alamos, CA: IEEE Computer Society Press, 1993."},{"key":"9406_CR35","unstructured":"Troelstra, A. S. (1992). Lecture notes on linear logic. CSLI Lecture Notes No. 29, Stanford: CSLI Publications."},{"key":"9406_CR36","volume-title":"Languages in action: Categories, lambdas, and dynamic logic","author":"J. Benthem van","year":"1995","unstructured":"van Benthem J. (1995) Languages in action: Categories, lambdas, and dynamic logic. MIT Press, Cambridge"},{"key":"9406_CR37","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2009). The information in intuitionistic logic. Synthese, Special Knowledge, Rationality, and Action Issue. Proceedings of the First Workshop in the Philosophy of Information and Logic, November 3\u20135, 2007, University of Oxford.","DOI":"10.1007\/s11229-008-9408-5"},{"key":"9406_CR38","volume-title":"Handbook on the philosophy of information","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J., Adriaans P. (2007) Handbook on the philosophy of information. Elsevier, Handbook of the Philosophy of Science Series"},{"key":"9406_CR39","volume-title":"Handbook of the philosophy of information (to appear)","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J., Martinez M. (2007) The stories of logic and information. In: Adriaans P., Benthem J.(eds) Handbook of the philosophy of information (to appear). Elsevier Science Publishers, Amsterdam"},{"key":"9406_CR40","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Visser, A. (Eds.). (1994). Logic and information flow. Foundations of Computing Series. Cambridge, Massachusetts: MIT Press.","DOI":"10.7551\/mitpress\/4286.001.0001"},{"key":"9406_CR41","doi-asserted-by":"crossref","unstructured":"Wansing, H. (1993). The logic of information structures. Lecture Notes in Artificial Intelligence, No. 681: Subseries of Lecture Notes in Computer Science. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/3-540-56734-8"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9406-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-008-9406-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9406-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T04:46:46Z","timestamp":1738471606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-008-9406-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,22]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9406"],"URL":"https:\/\/doi.org\/10.1007\/s11229-008-9406-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2008,10,22]]}}}