{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:16Z","timestamp":1775038276770,"version":"3.50.1"},"reference-count":68,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1093\/logcom\/exu034","type":"journal-article","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T02:29:42Z","timestamp":1401762582000},"page":"1787-1813","source":"Crossref","is-referenced-by-count":12,"title":["Epistemic extensions of modal distributive substructural logics"],"prefix":"10.1093","volume":"26","author":[{"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"2016121203300778000_26.6.1787.1","doi-asserted-by":"publisher","DOI":"10.3167\/004058101782485520"},{"key":"2016121203300778000_26.6.1787.2","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"2016121203300778000_26.6.1787.3","unstructured":"Aucher G. Technical Report RR-8341. INRIA; 2013. Update logic."},{"key":"2016121203300778000_26.6.1787.4","doi-asserted-by":"crossref","unstructured":"Aucher G. Dynamic epistemic logic as a substructural logic. In: Baltag A. Smets S. , editors. Johan F. A. K. van Benthem on Logical and Informational Dynamics. Springer; 2014.","DOI":"10.1007\/978-3-319-06025-5_33"},{"key":"2016121203300778000_26.6.1787.5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.034"},{"key":"2016121203300778000_26.6.1787.6","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9191-5"},{"key":"2016121203300778000_26.6.1787.7","doi-asserted-by":"crossref","unstructured":"Belnap N. D. A useful four-valued logic. In: Epstein G. Dunn J. M. , editors. Modern Uses of Multiple-Valued Logic. Reidel; 1977. p. 8-37.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2016121203300778000_26.6.1787.8","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"2016121203300778000_26.6.1787.9","doi-asserted-by":"crossref","unstructured":"van Benthem J. Logical Dynamics of Information and Interaction. Cambridge University Press; 2011.","DOI":"10.1017\/CBO9780511974533"},{"key":"2016121203300778000_26.6.1787.10","first-page":"22","article-title":"Relevant agents","volume-title":"Advances in Modal Logic","volume":"8","author":"B\u00edlkov\u00e1","year":"2010"},{"key":"2016121203300778000_26.6.1787.11","doi-asserted-by":"crossref","unstructured":"B\u00edlkov\u00e1 M. Majer O. Peli\u0161 M. Epistemic Logics for Sceptical Agents. 2014. Manuscript.","DOI":"10.1093\/logcom\/exv009"},{"key":"2016121203300778000_26.6.1787.12","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Modal Logic. Cambridge University Press; 2000.","DOI":"10.1017\/CBO9781107050884"},{"key":"2016121203300778000_26.6.1787.13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-1-4020-5012-7_2","article-title":"Epistemic models, logical monotony and substructural logics","volume-title":"The Age of Alternative Logics","volume":"3","author":"Cozic","year":"2006"},{"key":"2016121203300778000_26.6.1787.14","unstructured":"Doyle J. Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. 1991. Rational belief revision (Preliminary Report); p. 163-174."},{"key":"2016121203300778000_26.6.1787.15","doi-asserted-by":"crossref","unstructured":"de Rijke M. Meeting some neighbours. In: van Eijck J. Visser A. , editors. Logic and Information Flow. MIT Press; 1994. p. 170-195.","DOI":"10.7551\/mitpress\/4286.003.0013"},{"key":"2016121203300778000_26.6.1787.16","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H. van der Hoek W. Kooi B. Dynamic Epistemic Logic. Springer; 2008.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"2016121203300778000_26.6.1787.17","doi-asserted-by":"publisher","DOI":"10.2307\/2214128"},{"key":"2016121203300778000_26.6.1787.18","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"2016121203300778000_26.6.1787.19","doi-asserted-by":"crossref","unstructured":"Fagin R. Halpern J. Moses Y. Vardi M. Reasoning About Knowledge. MIT Press; 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"2016121203300778000_26.6.1787.20","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"2016121203300778000_26.6.1787.21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869347"},{"key":"2016121203300778000_26.6.1787.22","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370161"},{"key":"2016121203300778000_26.6.1787.23","doi-asserted-by":"crossref","unstructured":"Fuhrmann A. On the modal logic of theory change. In: Fuhrmann A. Morreau M. , editors. The Logic of Theory Change. Springer; 1991. p. 259-281.","DOI":"10.1007\/BFb0018425"},{"key":"2016121203300778000_26.6.1787.24","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","article-title":"Theory contraction through base contraction","volume":"20","author":"Fuhrmann","year":"1991","journal-title":"Journal of Philosophical Logic"},{"key":"2016121203300778000_26.6.1787.25","doi-asserted-by":"crossref","unstructured":"Fuhrmann A. Morreau M. , editors. The Logic of Theory Change. Springer; 1991.","DOI":"10.1007\/BFb0018413"},{"key":"2016121203300778000_26.6.1787.26","unstructured":"Gabbay D. Kurucz A. Wolter F. Zakharyaschev M. Studies in Logic. Vol. 148. Elsevier; 2003. Many-Dimensional Modal Logics: Theory and Applications."},{"key":"2016121203300778000_26.6.1787.27","doi-asserted-by":"crossref","unstructured":"Galliers J. R. Autonomous belief revision and communication. In: G\u00e4rdenfors P. , editor. Belief Revision. Cambridge UP; 1992. p. 220-246.","DOI":"10.1017\/CBO9780511526664.009"},{"key":"2016121203300778000_26.6.1787.28","unstructured":"G\u00e4rdenfors P. Knowledge in Flux. MIT Press; 1988. [re-issued by College Publications in 2008]."},{"key":"2016121203300778000_26.6.1787.29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004774422224"},{"key":"2016121203300778000_26.6.1787.30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370186"},{"key":"2016121203300778000_26.6.1787.31","unstructured":"Hintikka J. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press; 1962."},{"key":"2016121203300778000_26.6.1787.32","doi-asserted-by":"crossref","unstructured":"Chellas B. Modal Logic. An Introduction. Cambridge University Press; 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"2016121203300778000_26.6.1787.33","doi-asserted-by":"crossref","unstructured":"Kripke S. Semantical analysis of intuitionistic logic. In: Crossley J. Dummett M. A. E. , editors. Formal Systems and Recursive Functions. North-Holland Publishing Company; 1965. p. 92-130.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"2016121203300778000_26.6.1787.34","unstructured":"Levesque H. Proceedings of AAAI-84. 1984. A logic for implicit and explicit belief; p. 198-202."},{"key":"2016121203300778000_26.6.1787.35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00296175"},{"key":"2016121203300778000_26.6.1787.36","doi-asserted-by":"crossref","unstructured":"Lindstrom S. Rabinowicz W. Epistemic entrenchment with incomparabilities and relational belief revision. In: Fuhrmann A. Morreau M. , editors. The Logic of Theory Change. 1991. p. 93-126.","DOI":"10.1007\/BFb0018418"},{"key":"2016121203300778000_26.6.1787.37","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005577906029","article-title":"DDL unlimited: dynamic doxastic logic for introspective agents","volume":"50","author":"Lindstrom","year":"1999","journal-title":"Erkenntnis"},{"key":"2016121203300778000_26.6.1787.38","doi-asserted-by":"publisher","DOI":"10.1007\/BF00431184"},{"key":"2016121203300778000_26.6.1787.39","unstructured":"Makinson D. On the force of some apparent couterexamples to recovery. In: Garz\u00f3n Vald\u00e9s E. , editors. Normative Systems in Legal and Moral Theory. Duncker and Humblot; 1997. p. 466-481."},{"key":"2016121203300778000_26.6.1787.40","unstructured":"Majer O. Peli\u0161 M. Epistemic logic with relevant agents. In: Peli\u0161 M. , editor. The Logica Yearbook 2008. College Publications; 2009. p. 123-135."},{"key":"2016121203300778000_26.6.1787.41","unstructured":"Majer O. Peli\u0161 M. Relevant epistemic logic. In: Grossi D. Kurzen L. Vel\u00e1zquez-Quesada F. , editors. Logic and Interactive Rationality (Yearbook 2009). ILLC; 2010. p. 69-84."},{"key":"2016121203300778000_26.6.1787.42","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413865"},{"key":"2016121203300778000_26.6.1787.43","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1015690931863","article-title":"A paraconsistent theory of belief revision","volume":"56","author":"Mares","year":"2002","journal-title":"Erkenntnis"},{"key":"2016121203300778000_26.6.1787.44","doi-asserted-by":"crossref","unstructured":"Mares E. Relevant Logic. A Philosophical Interpretation. Cambridge University Press; 2004.","DOI":"10.1017\/CBO9780511520006"},{"key":"2016121203300778000_26.6.1787.45","doi-asserted-by":"publisher","DOI":"10.1007\/BF01049182"},{"key":"2016121203300778000_26.6.1787.46","doi-asserted-by":"crossref","unstructured":"Meyer J.-J. Ch. van der Hoek W. Epistemic Logic for AI and Computer Science. Cambridge University Press; 1995.","DOI":"10.1017\/CBO9780511569852"},{"key":"2016121203300778000_26.6.1787.47","doi-asserted-by":"crossref","unstructured":"Niedere R. Multiple contraction. A further case against cardenfors' principle of recovery. In: Fuhrmann A. Morreau M. , editors. The Logic of Theory Change. 1988. p. 322-334.","DOI":"10.1007\/BFb0018427"},{"key":"2016121203300778000_26.6.1787.48","doi-asserted-by":"crossref","unstructured":"Olsson E. J. Functional vs. relational approaches to belief revision. In: Olsson E. J. Enqvist S. , editors. Belief Revision Meets Philosophy of Science. Vol. 21. Springer; 2011. Logic, Epistemology, and the Unity of Science.","DOI":"10.1007\/978-90-481-9609-8"},{"key":"2016121203300778000_26.6.1787.49","doi-asserted-by":"crossref","unstructured":"Paoli F. Substructural Logics: A Primer. Kluwer Academic Publishers; 2002.","DOI":"10.1007\/978-94-017-3179-9"},{"key":"2016121203300778000_26.6.1787.50","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1111\/j.1755-2567.2001.tb00204.x","article-title":"Paraconsistent belief revision","volume":"67","author":"Priest","year":"2001","journal-title":"Theoria"},{"key":"2016121203300778000_26.6.1787.51","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF00248640","article-title":"Simplified semantics for basic relevant logics","volume":"21","author":"Priest","year":"1992","journal-title":"Journal of Philosophical Logic"},{"key":"2016121203300778000_26.6.1787.52","first-page":"463","article-title":"Information flow and relevant logics","volume-title":"Logic, Language, and Computation","volume":"1","author":"Restall","year":"1995"},{"key":"2016121203300778000_26.6.1787.53","doi-asserted-by":"crossref","unstructured":"Restall G. Negation in relevant logics (how I stopped worrying and learned to love the routkey star). In: Gabbay D. M. Wansing H. , editors. What is Negation? Springer; 1999. p. 53-76.","DOI":"10.1007\/978-94-015-9309-0_3"},{"key":"2016121203300778000_26.6.1787.54","doi-asserted-by":"crossref","unstructured":"Restall G. An Introduction to Substructural Logics. Routledge; 2000.","DOI":"10.4324\/9780203252642"},{"key":"2016121203300778000_26.6.1787.55","first-page":"125","article-title":"Logics, situations and channels","volume":"6","author":"Restall","year":"2006","journal-title":"Journal of Cognitive Science"},{"key":"2016121203300778000_26.6.1787.56","unstructured":"Restall G. Slaney J. Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence. 1995. Realistic belief revision; p. 367-378."},{"key":"2016121203300778000_26.6.1787.57","doi-asserted-by":"crossref","unstructured":"Routley R. Meyer R. The semantics of entailment. In: Leblanc H. , editor. Truth, Syntax and Modality. North-Holland Publishing Company; 1973. p. 199-243.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"2016121203300778000_26.6.1787.58","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649991"},{"key":"2016121203300778000_26.6.1787.59","doi-asserted-by":"publisher","DOI":"10.1007\/BF00650498"},{"key":"2016121203300778000_26.6.1787.60","doi-asserted-by":"crossref","unstructured":"Sedl\u00e1r I. Information, awareness and substructural logics. In: Libkin L. Kohlenbach U. de Queiroz R. , editors. Logic, Language, Information and Computation. Springer; 2013. p. 266-281. LNCS 8071.","DOI":"10.1007\/978-3-642-39992-3_23"},{"key":"2016121203300778000_26.6.1787.61","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.4.535"},{"key":"2016121203300778000_26.6.1787.62","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9406-7"},{"key":"2016121203300778000_26.6.1787.63","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-010-9834-z"},{"key":"2016121203300778000_26.6.1787.64","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister P. Doen K. , editors. Substructural Logics. Clarendon Press; 1993.","DOI":"10.1093\/oso\/9780198537779.001.0001"},{"key":"2016121203300778000_26.6.1787.65","doi-asserted-by":"crossref","unstructured":"Slaney J. Meyer R. Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning. 1997. Logic for two: the semantics of distributive substructural logics; p. 554-567.","DOI":"10.1007\/BFb0035648"},{"key":"2016121203300778000_26.6.1787.66","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-006-9027-x"},{"key":"2016121203300778000_26.6.1787.67","doi-asserted-by":"publisher","DOI":"10.2307\/2272559"},{"key":"2016121203300778000_26.6.1787.68","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021256513220"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/6\/1787\/8667104\/exu034.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T06:16:20Z","timestamp":1746252980000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":68,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2016,12,12]]},"published-print":{"date-parts":[[2016,12]]}},"alternative-id":["10.1093\/logcom\/exu034"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu034","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,2]]}}}