R. Alenda, N. Olivetti, and G. L. Pozzato, Nested sequent calculi for normal conditional logics, Journal of Logic and Computation, vol.II, issue.1, pp.7-50, 2016.
DOI : 10.2307/2273315
URL : https://hal.archives-ouvertes.fr/hal-01479542

A. Baltag and S. Smets, The logic of conditional doxastic actions, Texts in Logic and Games, pp.9-31, 2008.
DOI : 10.1145/1324249.1324260
URL : http://www.tark.org/proceedings/tark_jun25_07/p52-baltag.pdf

B. Beckert and J. Posegga, leanTAP: Lean tableau-based deduction, Journal of Automated Reasoning, vol.7, issue.1?2, pp.339-358, 1995.
DOI : 10.1007/3-540-55602-8_219
URL : http://i12www.ira.uka.de/~beckert/pub/LeanTAP.ps.Z

O. Board, Dynamic interactive epistemology, Games and Economic Behavior, vol.49, issue.1, pp.49-80, 2004.
DOI : 10.1016/j.geb.2003.10.006
URL : http://www.pitt.edu/~ojboard/papers/dynintep.pdf

V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato, Logics in access control: a conditional approach, Journal of Logic and Computation, vol.14, issue.1, pp.705-762, 2014.
DOI : 10.1007/s10992-005-2267-3
URL : https://iris.unito.it/bitstream/2318/106000/4/JLC_access%20control.pdf

M. Girlando, B. Lellmann, N. Olivetti, and G. L. Pozzato, Standard Sequent Calculi for Lewis??? Logics of Counterfactuals, In: Logics in Artificial Intelligence. JELIA, vol.48, issue.1, pp.272-287, 2016.
DOI : 10.2307/2273315
URL : https://hal.archives-ouvertes.fr/hal-01794375

M. Girlando, B. Lellmann, N. Olivetti, and G. L. Pozzato, Hypersequent Calculi for Lewis??? Conditional Logics with Uniformity and Reflexivity, 2017.
DOI : 10.1007/978-94-009-9117-0_2
URL : https://hal.archives-ouvertes.fr/hal-01794387

G. Grahne, Updates and counterfactuals, Journal of Logic and Computation, vol.8, issue.1, pp.87-117, 1998.
DOI : 10.1093/logcom/8.1.87

S. Kraus, D. Lehmann, and M. Magidor, 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/pdf/cs/0202021

D. Nute, Topics in Conditional Logic, Reidel, 1980.
DOI : 10.1007/978-94-009-8966-5

N. Olivetti and G. L. Pozzato, CondLean 3.0: Improving CondLean for Stronger Conditional Logics, TABLEAUX 2005. LNAI, pp.328-332, 2005.
DOI : 10.1007/11554554_27

N. Olivetti and G. L. Pozzato, CK, Journal of Applied Non-Classical Logics, vol.3, issue.1, pp.427-473, 2008.
DOI : 10.1007/978-1-4757-3208-5

N. Olivetti and G. L. Pozzato, NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics, IJCAR 2014, pp.511-518, 2014.
DOI : 10.1007/978-3-319-08587-6_39
URL : https://iris.unito.it/bitstream/2318/152376/1/IJCAR2014%20proofs.pdf

N. Olivetti and G. L. Pozzato, Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND, Intelligenza Artificiale, vol.3, issue.A, pp.109-125, 2015.
DOI : 10.3166/jancl.18.427-473
URL : https://iris.unito.it/bitstream/2318/1563245/1/IntelligenzaArtificiale2015.pdf

N. Olivetti and G. L. Pozzato, A Standard Internal Calculus for Lewis??? Counterfactual Logics, TABLEAUX 2015, LNAI, pp.270-286, 2015.
DOI : 10.2307/2273315