. Proof, UL(C ? ) + {B c ,CI,WI,K} is sound and strongly complete for the logic (L (P, C ? ) , E Int , ), where E Int is the class of pointed substructural models (M, x) whose accessibility relations are plump and such that the following hold: for all x, y, z ? M

?. Moreover and C. , the following also holds: M, x ? ? ? iff M, x ? ? ? (22) References [1] Carlos Areces, Raul Fervari, and Guillaume Hoffmann. Swap logic, Logic Journal of IGPL, vol.22, issue.2, pp.309-332, 2014.

C. Areces, R. Fervari, and G. Hoffmann, Relation-changing modal operators: Fig. 1., Logic Journal of IGPL, vol.23, issue.4, pp.601-627, 2015.
DOI : 10.1093/jigpal/jzv020

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1
URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, Private announcement and belief expansion: an internal perspective, Journal of Logic and Computation, vol.22, issue.3, pp.451-479, 2012.
DOI : 10.1093/logcom/exq056
URL : https://hal.archives-ouvertes.fr/hal-00856474

G. Aucher, DEL as a substructural logic, Outstanding Contributions: Johan F. A. K. van Benthem on Logical and Informational Dynamics Trends in Logic, 2014.

G. Aucher, When conditional logic and belief revision meet substructural logics, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence Buenos Aires volume 1423 of CEUR Workshop Proceedings. CEUR-WS.org, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01193289

G. Aucher, Dynamic epistemic logic in update logic, Journal of Logic and Computation, vol.26, issue.6, 2016.
DOI : 10.1093/logcom/exw002
URL : https://hal.archives-ouvertes.fr/hal-01476249

G. Aucher, P. Balbiani, L. F. , D. Cerro, and A. Herzig, Global and Local Graph Modifiers, Methods for Modalities 5 (M4M-5), 2007.
DOI : 10.1016/j.entcs.2009.02.042
URL : https://hal.archives-ouvertes.fr/inria-00556034

P. Balbiani, R. Echahed, and A. Herzig, A Dynamic Logic for Termgraph Rewriting, Lecture Notes in Computer Science, vol.6372, pp.59-74, 2010.
DOI : 10.1007/978-3-642-15928-2_5
URL : https://hal.archives-ouvertes.fr/hal-00940868

P. Balbiani, A. Herzig, and N. Troquard, Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.143-152, 2013.
DOI : 10.1109/LICS.2013.20
URL : https://hal.archives-ouvertes.fr/hal-01240721

A. Baltag and S. Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, Electronic Notes in Theoretical Computer Science, vol.165, pp.5-21, 2006.
DOI : 10.1016/j.entcs.2006.05.034
URL : http://doi.org/10.1016/j.entcs.2006.05.034

A. Baltag and S. Smets, The logic of conditional doxastic actions, Special Issue on New Perspectives on Games and Interaction Logic and Games, pp.9-31, 2008.

A. Baltag and S. Smets, A Qualitative Theory of Dynamic Interactive Belief Revision, Logic and Games, pp.9-58, 2008.
DOI : 10.1007/978-3-319-20451-2_39

J. Barwise and J. Perry, Situations and Attitudes, The Journal of Philosophy, vol.78, issue.11, 1983.
DOI : 10.2307/2026578

J. Barwise, Constraints, channels, and the flow of information. Situation theory and its applications, pp.3-27, 1993.

J. Beall, R. Brady, J. Michael-dunn, E. Hazen, . Mares et al., On the Ternary Relation and Conditionality, Journal of Philosophical Logic, vol.49, issue.3, pp.595-612, 2012.
DOI : 10.1007/s10992-011-9191-5
URL : http://arrow.latrobe.edu.au:8080/vital/access/manager/Repository/latrobe:16094/SOURCE1

. Jr, . Belnap, and D. Nuel, Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.375-417, 1982.

P. Blackburn, Y. Maarten-de-rijke, and . Venema, Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001.

A. Bochman, Dynamic causal calculus, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

A. Piero, N. Bonatti, and . Olivetti, Sequent calculi for propositional nonmonotonic logics, ACM Trans. Comput. Logic, vol.3, issue.2, pp.226-278, 2002.

P. John and . Burgess, Quick completeness proofs for some logics of conditionals, Notre Dame Journal of Formal Logic, vol.22, issue.1, pp.76-84, 1981.

A. Ciabattoni, R. Ramanayake, and H. Wansing, Hypersequent and Display Calculi ??? a Unified Perspective, Studia Logica, vol.27, issue.4, pp.1245-1294, 2014.
DOI : 10.1007/s11225-014-9566-z

K. Dosen and P. Schroeder-heister, Substructural Logics, 1994.

J. Michael-dunn, Gaggle theory: an abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators, Logics in AI, pp.31-51, 1991.

J. , M. Dunn, and G. Restall, Relevance logic. Handbook of philosophical logic, pp.1-128, 2002.
DOI : 10.1007/978-94-017-0460-1_1

R. Fervari, Relation-Changing Modal Logics, 2014.

T. French, P. Wiebe-van-der-hoek, B. Iliev, and . Kooi, On the succinctness of some modal logics, Artificial Intelligence, vol.197, issue.0, pp.56-85, 2013.
DOI : 10.1016/j.artint.2013.02.003
URL : https://hal.archives-ouvertes.fr/hal-01273572

M. Dov, C. J. Gabbay, J. A. Hogger, . Robinson, D. Siekmann et al., Handbook of logic in artificial intelligence and logic programming, volume Nonmonotonic reasoning and uncertain reasoning, 1998.

P. Gärdenfors, Knowledge in Flux (Modeling the Dynamics of Epistemic States), 1988.

P. Gärdenfors, Belief revision and nonmonotonic logic: Two sides of the same coin?, pp.52-54, 1991.
DOI : 10.1007/BFb0018432

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935.
DOI : 10.1007/BF01201353

L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato, and C. B. Schwind, Non-classical logics for knowledge representation and reasoning, Intelligenza Artificiale, vol.5, issue.1, pp.127-131, 2011.

L. Giordano and C. Schwind, Conditional logic of actions and causation, Artificial Intelligence, vol.157, issue.1-2, pp.239-279, 2004.
DOI : 10.1016/j.artint.2004.04.009
URL : https://hal.archives-ouvertes.fr/halshs-00261167

J. Girard, Linear logic. Theoretical computer science, pp.1-101, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

P. Girard, J. Seligman, and F. Liu, General dynamic dynamic logic, Advances in Modal Logic, pp.239-260, 2012.

R. Goré, Substructural logics on display, Logic Journal of IGPL, vol.6, issue.3, pp.451-504, 1998.
DOI : 10.1093/jigpal/6.3.451

R. Goré, Dual Intuitionistic Logic Revisited, Lecture Notes in Computer Science, vol.1847, pp.252-267, 2000.
DOI : 10.1007/10722086_21

. Vn-grishin, On a generalization of the ajdukiewicz-lambek system, Studies in Nonclassical Logics and Formal Systems, pp.315-334, 1983.

A. Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic, Indagationes Mathematicae (Proceedings), vol.67, issue.2, pp.329-329, 1971.
DOI : 10.1016/S1385-7258(64)50066-9

B. Kooi and B. Renne, Arrow update logic. The Review of Symbolic Logic, pp.536-559, 2011.

A. Saul and . Kripke, Semantical analysis of intuitionistic logic i, Formal Systems and Recursive Functions of Studies in Logic and the Foundations of Mathematics, pp.92-130, 1965.

N. Kurtonina, Frames and Labels. A Modal Analysis of Categorial Deduction, 1995.

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

J. Lambek, On the calculus of syntactic types, Structure of language and its mathematical aspects, pp.166-178, 1961.
DOI : 10.1090/psapm/012/9972

D. Makinson, Bridges from classical to nonmonotonic logic. King's College, 2005.
DOI : 10.1093/jigpal/11.1.69

D. Makinson and P. Gärdenfors, Relations between the logic of theory change and nonmonotonic logic The Logic of Theory Change, Lecture Notes in Computer Science, vol.465, pp.185-205

D. Edwin and . Mares, Relevant logic and the theory of information, Synthese, vol.109, issue.3, pp.345-360, 1996.

D. Edwin, R. K. Mares, and . Meyer, Relevant logics The Blackwell guide to philosophical logic, 2001.

M. Martinez and S. Sequoiah-grayson, Logic and information, The Stanford Encyclopedia of Philosophy. CSLI publications Stanford, 2014.

E. Mendelson, Introduction to mathematical logic, 1997.
DOI : 10.1007/978-1-4615-7288-6

M. Moortgat, Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus, Logic, Language, Information and Computation, pp.264-284
DOI : 10.1007/978-3-540-73445-1_19

D. Nute, B. Charles, and . Cross, Conditional logic, Handbook of philosophical logic, pp.1-98, 2001.
DOI : 10.1007/978-94-017-0456-4_1

H. Ono, Proof-Theoretic Methods in Nonclassical Logic --an Introduction, Theories of Types and Proofs, pp.207-254, 1998.
DOI : 10.2969/msjmemoirs/00201C060

J. Perry and D. Israel, What is information? Information, Language, and Cognition, vol.1, 1990.

F. Poggiolesi, Gentzen calculi for modal propositional logic, 2010.
DOI : 10.1007/978-90-481-9670-8
URL : https://hal.archives-ouvertes.fr/halshs-00775804

F. Poggiolesi and G. Restall, Interpreting and Applying Proof Theories for Modal Logic, New Waves in Philosophical Logic. Palgrave Macmillan, 2012.
DOI : 10.1057/9781137003720_4

P. Frank and . Ramsey, General propositions and causality, 1929.

C. Rauszer, An algebraic and Kripke-style approach to a certain extension of intuitionistic logic, 1980.

G. Restall, Information flow and relevant logics In Logic, Language and Computation: The, Moraga Proceedings. CSLI, pp.463-477, 1994.

G. Restall, An Introduction to Substructural Logics, Routledge, 2000.
DOI : 10.4324/9780203252642
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.8564

G. Restall, Relevant and substructural logics. Handbook of the History of Logic, pp.289-398, 2006.
DOI : 10.1016/s1874-5857(06)80030-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6179

R. Routley, K. Robert, and . Meyer, The semantics of entailment?II, Journal of Philosophical Logic, vol.16, issue.1, pp.53-73, 1972.
DOI : 10.1007/BF00649991

R. Routley, K. Robert, and . Meyer, The semantics of entailment ? III, Journal of Philosophical Logic, vol.16, issue.2, pp.192-208, 1972.
DOI : 10.1007/BF00650498

R. Routley, K. Robert, and . Meyer, The Semantics of Entailment, Studies in Logic and the Foundations of Mathematics, pp.199-243, 1973.
DOI : 10.1016/S0049-237X(08)71541-6

R. Routley, V. Plumwood, K. Robert, and . Meyer, Relevant logics and their rivals, 1982.

A. Urquhart, Completeness of weak implication, Theoria, vol.59, issue.3, pp.274-282, 1971.
DOI : 10.1111/j.1755-2567.1971.tb00072.x

A. Urquhart, A general theory of implication, Journal of Symbolic Logic, vol.37, issue.443, p.270, 1972.

A. Urquhart, Semantics for relevant logics, The Journal of Symbolic Logic, vol.32, issue.01, pp.159-169, 1972.
DOI : 10.1007/BF00818100

J. Van-benthem, Exploring logical dynamics. CSLI publications Stanford, 1996.

J. Van-benthem, Inference in action, pp.3-16, 2007.

J. Van-benthem, The information in intuitionistic logic, Synthese, vol.128, issue.2, pp.251-270, 2009.
DOI : 10.1007/s11229-008-9408-5

J. Van-benthem, Logical Dynamics of Information and Interaction, 2011.
DOI : 10.1017/CBO9780511974533

. Hans-van-ditmarsch, B. Wiebe-van-der-hoek, and . Kooi, Dynamic Epistemic Logic, volume 337 of Synthese library, 2007.

P. Hans, . Van-ditmarsch, B. P. Wiebe-van-der-hoek, and . Kooi, Public announcements and belief expansion, Advances in Modal Logic, pp.335-346, 2004.

H. Wansing, Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation, vol.4, issue.2, pp.125-142, 1994.
DOI : 10.1093/logcom/4.2.125

H. Wansing, Displaying Modal Logic, 1998.
DOI : 10.1007/978-94-017-1280-4

H. Wansing, Sequent systems for modal logics. Handbook of philosophical logic, pp.61-145, 2002.
DOI : 10.1007/978-94-010-0387-2_2
URL : http://arp.anu.edu.au/%7Ejeremy/pubs/cutelim/Wansingc.pdf

H. Wansing, Constructive negation, implication, and co-implication, Journal of Applied Non-Classical Logics, vol.27, issue.2-3, pp.341-364, 2008.
DOI : 10.2307/2268973

H. Wansing, Falsification, natural deduction and bi-intuitionistic logic, Journal of Logic and Computation, vol.26, issue.1, 2013.
DOI : 10.1093/logcom/ext035