The Logic of Conditionals, volume 86 of Synthese Library, 1975. ,
Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985. ,
DOI : 10.1080/00048408412341331
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
DEL as a substructural logic, Outstanding Contributions: Johan F. A. K. van Benthem on Logical and Informational Dynamics Trends in Logic, 2014. ,
The method of hypersequents in the proof theory of propositional non-classical logics, Logic: from foundations to applications, pp.1-32, 1996. ,
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
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
Sequent calculi for propositional nonmonotonic logics, ACM Trans. Comput. Logic, vol.3, issue.2, pp.226-278, 2002. ,
Possibilistic logic, preferential model and related issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991. ,
Plausibility measures and default reasoning, Journal of the ACM, vol.48, issue.4, pp.648-685, 2001. ,
DOI : 10.1145/502090.502092
URL : http://arxiv.org/abs/cs/9808007
Knowledge in Flux (Modeling the Dynamics of Epistemic States), 1988. ,
Belief revision and nonmonotonic logic: Two sides of the same coin?, pp.52-54, 1991. ,
DOI : 10.1007/BFb0018432
Reasoning about Uncertainty, 2003. ,
Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1992. ,
DOI : 10.1016/0004-3702(91)90069-V
Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol.44, issue.1-2, pp.167-207, 1990. ,
DOI : 10.1016/0004-3702(90)90101-5
URL : http://arxiv.org/abs/cs/0202021
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, 1989. ,
Bridges from classical to nonmonotonic logic. King's College, 2005. ,
DOI : 10.1093/jigpal/11.1.69
URL : http://jigpal.oxfordjournals.org/cgi/content/short/11/1/69
The Blackwell guide to philosophical logic, chapter Relevant Logics, 2001. ,
Conditional logic, Handbook of philosophical logic, pp.1-98, 2001. ,
Tableaux and sequent calculus for minimal entailment, Journal of Automated Reasoning, vol.9, issue.1, pp.99-139, 1992. ,
DOI : 10.1007/BF00247828
Proof-Theoretic Methods in Nonclassical Logic --an Introduction, Theories of Types and Proofs, pp.207-254, 1998. ,
DOI : 10.2969/msjmemoirs/00201C060
Uniform, cut-free formulations of T, S4 and S5, Journal of Symbolic Logic, vol.48, issue.3, p.900, 1983. ,
General propositions and causality, 1929. ,
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. ,
DOI : 10.1016/s1874-5857(06)80030-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6179
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. ,
Ordinal conditional functions: A dynamic theory of epistemic states, Causation in Decision, Belief Change, and Statistics, pp.105-134, 1988. ,
Basic proof theory. Number 43, 2000. ,
Logical Dynamics of Information and Interaction, 2011. ,
DOI : 10.1017/CBO9780511974533