{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:39:39Z","timestamp":1725745179792},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399916"},{"type":"electronic","value":"9783642399923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_23","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T10:08:18Z","timestamp":1376474898000},"page":"266-281","source":"Crossref","is-referenced-by-count":2,"title":["Information, Awareness and Substructural Logics"],"prefix":"10.1007","author":[{"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Philosophy of Information","year":"2008","key":"23_CR1","unstructured":"Adriaans, P., van Benthem, J. (eds.): Philosophy of Information. Elsevier, Amsterdam (2008)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron, C., G\u00e4rdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"23_CR3","unstructured":"Artemov, S.: Operational Modal Logic. Technical report, Cornell University (1995)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S. Artemov","year":"2001","unstructured":"Artemov, S.: Explicit Provability and Constructive Semantics. B. Symb. Log.\u00a07, 1\u201336 (2001)","journal-title":"B. Symb. Log."},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S. Artemov","year":"2008","unstructured":"Artemov, S.: The Logic of Justification. Rev. Symb. Log.\u00a01, 477\u2013513 (2008)","journal-title":"Rev. Symb. Log."},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-007-0714-6_2","volume-title":"Games, Norms and Reasons: Logic at the Crossroads","author":"S. Artemov","year":"2011","unstructured":"Artemov, S.: Why Do We Need Justification Logic? In: van Benthem, J., Gupta, A., Pacuit, E. (eds.) Games, Norms and Reasons: Logic at the Crossroads, pp. 23\u201338. Springer, Dordrecht (2011)"},{"key":"23_CR7","first-page":"43","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)","author":"A. Baltag","year":"1998","unstructured":"Baltag, A., Moss, L., So\u0142ecki, S.: The Logic of Common Knowledge, Public Announcements, and Private Suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43\u201356. Morgan Kaufmann, San Francisco (1998)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for Epistemic Programs. Synthese\u00a0139, 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-32621-9_13","volume-title":"Logic, Language, Information and Computation","author":"A. Baltag","year":"2012","unstructured":"Baltag, A., Renne, B., Smets, S.: The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol.\u00a07456, pp. 168\u2013190. Springer, Heidelberg (2012)"},{"key":"23_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J. Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J. Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic Logics of Evidence-Based Beliefs. Studia Logica\u00a099, 61\u201392 (2011)","journal-title":"Studia Logica"},{"key":"23_CR12","first-page":"22","volume-title":"Advances in Modal Logic","author":"M. B\u00edlkov\u00e1","year":"2010","unstructured":"B\u00edlkov\u00e1, M., Majer, O., Peli\u0161, M., Restall, G.: Relevant Agents. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol.\u00a08, pp. 22\u201338. College Publications, London (2010)"},{"key":"23_CR13","unstructured":"Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified Belief Change. In: Arrazola, X., Ponte, M. (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2010). The University of the Basque Country Press, San Sebastian (2010)"},{"key":"23_CR14","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. To appear in J. Comput. Syst. Sci."},{"key":"23_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008)"},{"key":"23_CR16","volume-title":"Knowledge and the Flow of Information","author":"F. Dretske","year":"1981","unstructured":"Dretske, F.: Knowledge and the Flow of Information. MIT Press, Cambridge (1981)"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.: Belief, Awareness, and Limited Reasoning. Artif. Intell.\u00a034, 39\u201376 (1988)","journal-title":"Artif. Intell."},{"key":"23_CR18","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M. Fitting","year":"2005","unstructured":"Fitting, M.: Logic of Proofs, Semantically. Ann. Pure Appl. Logic\u00a0132, 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR20","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4020-9084-4_6","volume-title":"Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV","author":"M. Fitting","year":"2009","unstructured":"Fitting, M.: Reasoning with Justifications. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV, pp. 107\u2013123. Springer, Dordrecht (2009)"},{"key":"23_CR21","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J.: Impossible Possible Worlds Vindicated. J. Philos. Logic\u00a04, 475\u2013484 (1975)","journal-title":"J. Philos. Logic"},{"key":"23_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume-title":"Formal Systems and Recursive Functions","author":"S. Kripke","year":"1965","unstructured":"Kripke, S.: Semantical Analysis of Intuitionistic Logic. In: Crossley, J., Dummett, M.A.E. (eds.) Formal Systems and Recursive Functions, pp. 92\u2013130. North-Holland Publishing Company, Amsterdam (1965)"},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-35722-0_19","volume-title":"Logical Foundations of Computer Science","author":"R. Kuznets","year":"2013","unstructured":"Kuznets, R., Studer, T.: Update as Evidence: Belief Expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol.\u00a07734, pp. 266\u2013279. Springer, Heidelberg (2013)"},{"key":"23_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant Logic. A Philosophical Interpretation","author":"E. Mares","year":"2004","unstructured":"Mares, E.: Relevant Logic. A Philosophical Interpretation. Cambridge University Press, Cambridge (2004)"},{"key":"23_CR27","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1093\/logcom\/exq026","volume":"21","author":"B. Renne","year":"2011","unstructured":"Renne, B.: Public Communication in Justification Logic. J. Logic Comput.\u00a021, 1005\u20131034 (2011)","journal-title":"J. Logic Comput."},{"key":"23_CR28","first-page":"463","volume-title":"Logic, Language, and Computation","author":"G. Restall","year":"1995","unstructured":"Restall, G.: Information Flow and Relevant Logics. In: Seligman, J., Westerst\u00f8ahl, D. (eds.) Logic, Language, and Computation, vol.\u00a01, pp. 463\u2013467. CSLI Publications, Stanford (1995)"},{"key":"23_CR29","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)"},{"key":"23_CR30","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s11229-010-9834-z","volume":"190","author":"S. Sequoiah-Grayson","year":"2013","unstructured":"Sequoiah-Grayson, S.: Epistemic Closure and Commutative, Nonassociative Residuated Structures. Synthese\u00a0190, 113\u2013128 (2013)","journal-title":"Synthese"},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: A Mathematical Theory of Communication. AT&T Tech. J.\u00a027, 379\u2013423, 623\u2013656 (1948)","DOI":"10.1002\/j.1538-7305.1948.tb00917.x"},{"key":"23_CR32","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537779.001.0001","volume-title":"Substructural Logics","author":"P. Schr\u00f6der-Heister","year":"1993","unstructured":"Schr\u00f6der-Heister, P., Do\u0161en, K.: Substructural Logics. Oxford University Press, Oxford (1993)"},{"key":"23_CR33","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"Urquhart, A.: Semantics for Relevant Logics. J. Symbolic Logic\u00a037, 159\u2013169 (1972)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T13:57:32Z","timestamp":1715867852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}