Uniform Labelled Calculi for Conditional and Counterfactual Logics

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11541)


Lewis’s counterfactual logics are a class of conditional logics that are defined as extensions of classical propositional logic with a two-place modal operator expressing conditionality. Labelled proof systems are proposed here that capture in a modular way Burgess’s preferential conditional logic \( \mathbb {PCL}\), Lewis’s counterfactual logic \( \mathbb {V}\), and their extensions. The calculi are based on preferential models, a uniform semantics for conditional logics introduced by Lewis. The calculi are analytic, and their completeness is proved by means of countermodel construction. Due to termination in root-first proof search, the calculi also provide a decision procedure for the logics.


Conditional logics Counterfactual logics Proof theory Preferential models Labelled calculi 


  1. 1.
    Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for conditional logics. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 14–27. Springer, Heidelberg (2012). Scholar
  2. 2.
    Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for normal conditional logics. J. Logic Comput. 26(1), 7–50 (2013)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Alexandroff, P.: Diskrete Räume. Mat.Sb. (NS) 2(3), 501–519 (1937)zbMATHGoogle Scholar
  4. 4.
    Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Log. Found. Game Decis. Theory (LOFT 7) 3, 9–58 (2008)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Burgess, J.P.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Log. 22(1), 76–84 (1981)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Chen, J., Greco, G., Palmigiano, A., Tzimoulis, A.: Non normal logics: semantic analysis and proof theory. arXiv preprint arXiv:1903.04868 (2019)CrossRefGoogle Scholar
  7. 7.
    Friedman, N., Halpern, J.Y.: On the complexity of conditional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Principles of knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR 1994), pp. 202–213. Morgan Kaufmann Pub. (1994)Google Scholar
  8. 8.
    Galles, D., Pearl, J.: An axiomatic characterization of causal counterfactuals. Found. Sci. 3(1), 151–182 (1998)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Giordano, L., Gliozzi, V., Olivetti, N., Schwind, C.: Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10(3), 21 (2009)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Girlando, M.: On the proof theory of conditional logics. Ph.D. thesis, University of Helsinki (2019)Google Scholar
  11. 11.
    Girlando, M., Lellmann, B., Olivetti, N., Pozzato, G.L.: Standard sequent calculi for Lewis’ logics of counterfactuals. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 272–287. Springer, Cham (2016). Scholar
  12. 12.
    Girlando, M., Negri, S., Olivetti, N., Risch, V.: Conditional beliefs: from neighbourhood semantics to sequent calculus. Rev. Symb. Log. 11, 1–44 (2018)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Grahne, G.: Updates and counterfactuals. J. Log. Comput. 8(1), 87–117 (1998)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1–2), 167–207 (1990)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Lewis, D.K.: Counterfactuals. Blackwell, Oxford (1973)zbMATHGoogle Scholar
  16. 16.
    Nalon, C., Pattinson, D.: A resolution-based calculus for preferential logics. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 498–515. Springer, Cham (2018). Scholar
  17. 17.
    Negri, S.: Proof analysis in modal logic. J. Philos. Log. 34(5–6), 507 (2005)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Negri, S.: Proof theory for non-normal modal logics: the neighbourhood formalism and basic results. IFCoLog J. Log. Appl. 4, 1241–1286 (2017)Google Scholar
  19. 19.
    Negri, S., Olivetti, N.: A sequent calculus for preferential conditional logic based on neighbourhood semantics. In: De Nivelle, H. (ed.) TABLEAUX 2015. LNCS (LNAI), vol. 9323, pp. 115–134. Springer, Cham (2015). Scholar
  20. 20.
    Negri, S., Sbardolini, G.: Proof analysis for Lewis counterfactuals. Rev. Symb. Log. 9(1), 44–75 (2016)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Poggiolesi, F.: Natural deduction calculi and sequent calculi for counterfactual logics. Studia Logica 104(5), 1003–1036 (2016)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Weiss, Y.: Frontiers of conditional logic. Ph.D. thesis, The Graduate Center, City University of New York (2019)Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Aix Marseille Univ, Université de Toulon, CNRS, LISMarseilleFrance
  2. 2.University of HelsinkiHelsinkiFinland
  3. 3.The Ohio State UniversityColumbusUSA

Personalised recommendations