Erkenntnis

, Volume 50, Issue 2–3, pp 353–385

Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents

  • Sten Lindström
  • Wlodek Rabinowicz
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. Alchourrón, C. E., P. Gärdenfors, and D. Makinson: 1985, ‘On the Logic of Theory Change: Partial Meet Contraction and Revision Functions’, Journal of Symbolic Logic 50, 510-530.Google Scholar
  2. Fuhrmann, A.: 1989, ‘Reflective Modalities and Theory Change’, Synthese 81, 115-134.Google Scholar
  3. Grove, A.: 1988, ‘Two Modellings for Theory Change’, Journal of Philosophical Logic 17, 157-170.Google Scholar
  4. Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Bradford Books, Cambridge, MA.Google Scholar
  5. Hintikka, J.: 1962, Knowledge and Belief, Cornell University Press, Ithaca, New York.Google Scholar
  6. Levi, I.: 1988, ‘Iteration of Conditionals and the Ramsey Test’, Synthese 76, 49-81.Google Scholar
  7. Lewis, D.: 1973, Counterfactuals, Blackwells, Oxford.Google Scholar
  8. Lindström, S.: 1997, ‘Situations, Truth and Knowability — A Situation-Theoretic Analysis of a Paradox by Fitch’, in Ejerhed and Lindström (eds.), Logic, Action and Cognition: Essays in Philosophical Logic, Kluwer, Dordrecht, pp. 183-209.Google Scholar
  9. Lindström, S. and W. Rabinowicz: 1989, ‘On Probabilistic Representation of Non-probabilistic Belief Revision’, Journal of Philosophical Logic 18, 69-101.Google Scholar
  10. Lindström, S. and W. Rabinowicz: 1990, ‘Epistemic Entrenchment with Incomparabilities and Relational Belief Revision’, in Fuhrmann and Morreau (eds.), The Logic of Theory Change, Lecture Notes in Artificial Intelligence no. 465, Springer Verlag, 93-126.Google Scholar
  11. Lindström, S. and W. Rabinowicz: 1992, ‘Belief Revision, Epistemic Conditionals and the Ramsey Test’, Synthese 91, 195-237.Google Scholar
  12. Lindström, S. and W. Rabinowicz: 1997, ‘Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs and Ramsey Conditionals within DDL’, in Lindahl, Needham and Sliwinski (eds.) For Good Measure, Uppsala Philosophical Studies 46, 126-153.Google Scholar
  13. Rabinowicz, W. and S. Lindström: 1994, ‘How to Model Relational Belief Revision’, in D. Prawitz and D. Westerståhl (eds.), Logic and Philosophy of Science in Uppsala, Kluwer, Dordrecht, pp. 69-84.Google Scholar
  14. Rabinowicz, W. and K. Segerberg: 1994, ‘Actual Truth, Possible Knowledge’, Topoi 13, 101-115.Google Scholar
  15. de Rijke, M.: 1994, ‘Meeting Some Neighbours: A Dynamic Modal Logic Meets Theories of Change and Knowledge Representation’, in Jan van Eijck and Albert Visser (eds.), Logic and Information Flow, MIT Press, Cambridge, MA, pp. 170-196.Google Scholar
  16. Segerberg, K.: 1973, ‘Two-Dimensional Modal Logic’, Journal of Philosophical Logic 2, 77-96.Google Scholar
  17. Segerberg, K.: 1995a, ‘Belief Revision from the Point of View of Doxastic Logic'. Bulletin of the IGPL, 3, 535-553.Google Scholar
  18. Segerberg, K.: 1995b, ‘Some Questions About Hypertheories’, in Sven Ove Hansson and Wlodek Rabinowicz (eds.), Logic for a Change, Uppsala Prints and Preprints in Philosophy, 1995:9, 136-153.Google Scholar
  19. Segerberg, K.: 1996a, ‘Two Traditions in the Logic of Belief: Bringing Them Together’, Uppsala Prints and Preprints in Philosophy, 1996, number 9.Google Scholar
  20. Segerberg, K.: 1996b, ‘Further Questions About Hypertheories’, in Sten Lindström, Rysiek Sliwinski and Jan Österberg, Uppsala Philosophical Studies, vol. 45, 171-184.Google Scholar
  21. Segerberg, K.: 1997, ‘Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz’, Fundamenta Informaticae 32, 183-191.Google Scholar

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Sten Lindström
    • 1
  • Wlodek Rabinowicz
    • 2
  1. 1.Department of Philosophy and LinguisticsUmeå UniversityUmeåSweden
  2. 2.Department of PhilosophyLund UniversityLundSweden

Personalised recommendations