Propositional quantification for conditional logic

  • Philippe Besnard
  • Jean-Marc Guinnebault
  • Emmanuel Mayer
Accepted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1244)


Conditional sentences are a key issue of logical reasoning whose full scope eludes material implication. Various authors have proposed logics based on a conditional connective gearing towards specific sentences such as counterfactuals. Unfortunately, most of such conditional logics are propositional and therefore lack expressiveness. We propose in this paper to extend such logics by means of propositional quantification.


Conditional logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bar46]
    Barcan (R. C.).-A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11(1), 1946, pp. 1–16.Google Scholar
  2. [Bou94]
    Boutilier (C.).-Conditional logics of normality: a modal approach. Artificial Intelligence 68, 1994, pp. 87–154.Google Scholar
  3. [Chi46]
    Chisholm (R.).-The contrary-to-fact conditional. Mind 55, 1946, pp. 289–307.Google Scholar
  4. [Che75]
    Chellas (B. F.).-Basic conditional logic. Journal of Philosophical Logic 4, 1975, pp. 133–153.Google Scholar
  5. [Che8O]
    Chellas (B. F.).-Modal logic.-Cambridge University Press, 1980.Google Scholar
  6. [Chu56]
    Church (A.).-Introduction to Mathematical Logic.-Princeton University Press, Princeton, 1956.Google Scholar
  7. [Del88]
    Delgrande (J. P.).-An approach to default reasoning based on a first-order conditional logic: revised paper. Artificial Intelligence 36, 1988, pp. 63–90.Google Scholar
  8. [Fin70]
    Fine (K.).-Prepositional quantifiers in modal logic. Theoria 36, 1970, pp. 336–346.Google Scholar
  9. [FHK96]
    Friedman (N.), Halpern (J. Y.) and Koller (D.).-First-order conditional logic revisited. In: Proceedings of the thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996, pp. 1305–1312.Google Scholar
  10. [Gab71]
    Gabbay (D. M.).-Montague type semantics for modal logics with prepositional quantifiers. Zeitschr. f. math. Logik und Grundlagen d. Math. 17, 1971, pp. 245–249.Google Scholar
  11. [Gin86]
    Ginsberg (M. L.).-Counterfactuals. Artificial Intelligence 30, 1986, pp. 35–79.Google Scholar
  12. [Goo55]
    Goodman (N.).-Fact, Fiction and Forecast.-Harvard University Press, Cambridge MA, 1955.Google Scholar
  13. [Kle67]
    Kleene (S. C.).-Mathematical Logic.-J. Wiley and Sons, New York, 1967.Google Scholar
  14. [KS91]
    Katsuno (H.) and Satoh (K.).-A unified view of consequence relation, belief revision and conditional logic. In: Proceedings of the twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), 1991, pp. 406–412.Google Scholar
  15. [Lew73]
    Lewis (D.).-Counterfactuals.-Harvard University Press, Cambridge MA, 1973.Google Scholar
  16. [Mak69]
    Makinson (D.).-A normal modal calculus between T and S4 without the finite model property, Journal of Symbolic Logic 34, 1969, pp. 35–38.Google Scholar
  17. [Nut8O]
    Nute (D.).-Topics in Conditional Logic. In: Philosophical studies series in philosophy.-Reidel, Dordrecht, 1980.Google Scholar
  18. [Nut84]
    Nute (D.).-Conditional logic. In: Handbook of Philosophical Logic, Ed. by Gabbay (D.) and Guenthner (F.), chap. 8, pp. 387–439.-Reidel, Dordrecht, 1984.Google Scholar
  19. [Pri67]
    Prior (A. N.).-Past, Present and Future.-Clarendon Press, Oxford, 1967.Google Scholar
  20. [Sta68]
    Stalnaker (R. C.).-A Theory of Conditionals. In: Studies in Logical Theory, Ed. by Rescher (N.), pp. 98–112.-Basil Blackwell, Oxford, 1968. Reprinted in: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 41–55. Reidel, Dordrecht, 1980.Google Scholar
  21. [Sta8O]
    Stalnaker (R. C.).-A Defense of Conditional Excluded Middle. In: Ifs, Ed. by Harper (W. L.), Stalnaker (R. C.), and Pearce (G.), pp. 87–104.-Basil Blackwell, Oxford, 1980.Google Scholar
  22. [Tak75]
    Takeuti (G.).-Proof Theory.-North Holland, Amsterdam, 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Philippe Besnard
    • 1
  • Jean-Marc Guinnebault
    • 1
  • Emmanuel Mayer
    • 1
  1. 1.Campus de BeaulieuIRISARennes CedexFrance

Personalised recommendations