Displaying updates in logic Journal of Logic and Computation, Special Issue on Substructural Logics and Information Dynam- ics(doi:10, p.2016, 1093. ,
Dynamic epistemic logic in update logic Journal of Logic and Computation, Special Issue on Substructural Logics and Information Dynam- ics(doi:10, p.2016, 1093. ,
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
A Qualitative Theory of Dynamic Interactive Belief Revision, Texts in Logic and Games, pp.9-58, 2008. ,
DOI : 10.1007/978-3-319-20451-2_39
Situations and Attitudes, The Journal of Philosophy, vol.78, issue.11, 1983. ,
DOI : 10.2307/2026578
Constraints, channels, and the flow of information. Situation theory and its applications, pp.3-27, 1993. ,
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
Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.375-417, 1982. ,
Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001. ,
Quick completeness proofs for some logics of conditionals, Notre Dame Journal of Formal Logic, vol.22, issue.1, pp.76-84, 1981. ,
Unified Correspondence, Johan van Benthem on Logic and Information Dynamics, pp.933-975, 2014. ,
DOI : 10.1007/978-3-319-06025-5_36
Relevance logic. Handbook of philosophical logic, pp.1-128, 2002. ,
Reasoning about knowledge, 1995. ,
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
Belief revision and nonmonotonic logic: Two sides of the same coin?, pp.52-54, 1991. ,
DOI : 10.1007/BFb0018432
Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935. ,
DOI : 10.1007/BF01201353
Elementary canonical formulae: extending sahlqvist's theorem. Annals of Pure and Applied Logic, pp.180-217, 2006. ,
Unified correspondence as a proof-theoretic tool, Journal of Logic and Computation, 1603. ,
DOI : 10.1093/logcom/exw022
How Completeness and Correspondence Theory Got Married, Diamonds and Defaults, pp.175-214, 1993. ,
DOI : 10.1007/978-94-015-8242-1_7
Power and Weakness of the Modal Display Calculus, Proof theory of modal logic, pp.93-121, 1996. ,
DOI : 10.1007/978-94-017-2798-3_7
Frames and Labels. A Modal Analysis of Categorial Deduction, 1995. ,
Categorial inference and modal logic, Journal of Logic, Language and Information, vol.7, issue.4, pp.399-411, 1998. ,
DOI : 10.1023/A:1008322125368
The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958. ,
DOI : 10.2307/2310058
On the calculus of syntactic types, Structure of language and its mathematical aspects, pp.166-178, 1961. ,
DOI : 10.1090/psapm/012/9972
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 ,
Relevant logic and the theory of information, Synthese, vol.109, issue.3, pp.345-360, 1996. ,
The Blackwell guide to philosophical logic, chapter Relevant Logics, 2001. ,
Logic and information The Stanford Encyclopedia of Philosophy, 2014. ,
Introduction to mathematical logic, 1997. ,
DOI : 10.1007/978-1-4615-7288-6
Epistemic Logic for AI and Computer Science, 1995. ,
Proof-Theoretic Methods in Nonclassical Logic --an Introduction, Theories of Types and Proofs, pp.207-254, 1998. ,
DOI : 10.2969/msjmemoirs/00201C060
What is information? Information, Language, and Cognition, vol.1, 1990. ,
Gentzen calculi for modal propositional logic, 2010. ,
DOI : 10.1007/978-90-481-9670-8
URL : https://hal.archives-ouvertes.fr/halshs-00775804
Interpreting and Applying Proof Theories for Modal Logic, New Waves in Philosophical Logic. Palgrave Macmillan, 2012. ,
DOI : 10.1057/9781137003720_4
General propositions and causality, 1929. ,
Information flow and relevant logics In Logic, Language and Computation: The, Moraga Proceedings. CSLI, pp.463-477, 1994. ,
An Introduction to Substructural Logics, Routledge, 2000. ,
DOI : 10.4324/9780203252642
Relevant and substructural logics. Handbook of the History of Logic, pp.289-398, 2006. ,
The semantics of entailment?II, Journal of Philosophical Logic, vol.16, issue.1, pp.53-73, 1972. ,
DOI : 10.1007/BF00649991
The semantics of entailment ? III, Journal of Philosophical Logic, vol.16, issue.2, pp.192-208, 1972. ,
DOI : 10.1007/BF00650498
The Semantics of Entailment, Studies in Logic and the Foundations of Mathematics, pp.199-243, 1973. ,
DOI : 10.1016/S0049-237X(08)71541-6
Relevant logics and their rivals, 1982. ,
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic, Proceedings of the 3rd Scandinavian Logic Symposium 1973, number 82 in Studies in Logic, 1975. ,
DOI : 10.1016/S0049-237X(08)70728-6
Completeness of weak implication, Theoria, vol.59, issue.3, pp.274-282, 1971. ,
DOI : 10.1111/j.1755-2567.1971.tb00072.x
A general theory of implication, Journal of Symbolic Logic, vol.37, issue.443, p.270, 1972. ,
Semantics for relevant logics, The Journal of Symbolic Logic, vol.32, issue.01, pp.159-169, 1972. ,
DOI : 10.1007/BF00818100
Correspondence theory, Handbook of philosophical logic, pp.325-408, 2001. ,
Inference in action, pp.3-16, 2007. ,
Logical Dynamics of Information and Interaction, 2011. ,
DOI : 10.1017/CBO9780511974533
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
Sequent systems for modal logics. Handbook of philosophical logic, pp.61-145, 2002. ,