Counterfactuals and updates as inverse modalities

Journal of Logic, Language and Information

Volumn 6, Issue 2, 1997, Pages 123-146

  Ryan, Mark ^a   Schobbens, Pierre Yves ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

Belief revision; Conditional logic; Correspondence theory; Counterfactuals; Inverse modalities; Kripke semantics; Multi modal logic; Updates

Indexed keywords

EID: 0343598945     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008218502162     Document Type: Review

References (25)

1. Bell, J., 1989, "The logic of nonmonotonicity," Artificial Intelligence 41, 365-374.
2. Burgess, J.P., 1981, "Quick completeness proofs for some logics of conditionals," Notre Dame Journal of Formal Logic 22, 76-84.
3. Chellas, B.F., 1980, "Basic conditional logic," Journal of Philosophical Logic 4, 133-153.
4. de Rijke, M., 1994, "Meeting some neighbors," in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.
5. Gärdenfors, P., 1978, "Conditionals and changes of belief," Acta Philos. Fennica 30, 381-404.
6. Gärdenfors, P., 1986, "Belief revision and the Ramsey test for conditionals," Philosophical Review 91, 81-93.
7. Gardenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: MIT Press, Bradford Books.
8. Goldblatt, R., 1987, Logics of Time and Computation, CSLI Lecture Notes.
9. Grahne, G., 1991, "Updates and counterfactuals," pp. 269-276 in Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91), San Francisco, CA: Morgan Kaufmann.
10. Katsuno, H. and Mendelzon, A.O., 1991, "Prepositional knowledge base revision and minimal change," Artificial Intelligence 52, 263-294.
11. Katsuno, H. and Mendelzon, A.O., 1992, "On the difference between updating a knowledge base and revising it," pp. 183-203 in Belief Revision, Volume 29 in Cambridge Tracts in Theoretical Computer Science, P. Gärdenfors, ed., Cambridge: Cambridge University Press.
12. Keller, A.M. and Winslett Wilkins, M., 1985, "On the use of an extended relational model to handle changing incomplete information," IEEE Transactions on Software Engineering 11(7), 620-633.
13. Lewis, D.K., 1973, Counterfactuals, Oxford: Basil Blackwell.
14. Makinson, D., 1985, "How to give it up: A survey of some formal aspects of the logic of theory change," Synthese 62, 347-363.
15. Nute, D., 1980, Topics in Conditional Logic, Dordrecht: D. Reidel.
16. Nute, D., 1984, "Conditional logic," pp. 387-439 in Handbook of Philosophical Logic, Chapter II.8, D.M. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.
17. Pollock, J.L., 1981, "A refined theory of counterfactuals," Journal of Philosophical Logic 10, 239-266.
18. Popkorn, S., 1994, First Steps in Modal Logic, Cambridge: Cambridge University Press.
19. Ramsey, F.P., 1931, "Truth and probability," in The Foundations of Probability and Other Logical Essays, R.B. Braithwaite, ed., New York: Harcourt Brace.
20. Ryan, M. and Schobbens, P.-Y., 1996, "Intertranslating counterfactuals and updates," pp. 100-104 in 12th European Conference on Artificial Intelligence (ECAI), W. Wahlster, ed., Chichester, U.K.: John Wiley & Sons.
21. Ryan, M., Schobbens, P.-Y., and Rodrigues, O., 1996, " Counterfactuals and updates as inverse modalities," pp. 163-173 in TARK '96: Proceedings Theoretical Aspects of Rationality and Knowledge, Y. Shoham, ed., San Francisco: Morgan Kaufmann.
22. Stalnaker, R.C., 1968, A Theory of Conditionals, Volume 2 of American Philosophical Quarterly Monograph Series (ed. Nicholas Rescher), pp. 98-112, Oxford: Blackwell.
23. van Benthem, J., 1984, "Correspondence theory," pp. 167-247 in Handbook of Philosophical Logic, Volume 2, D. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.
24. van Benfhem, J., 1991, "Logic and the flow of information," in Proceedings 9th LMPS.
25. Venema, Y., 1991, "Many-dimensional modal logic," Ph.D. Thesis, Universiteit van Amsterdam.