Advertisement

Erkenntnis

, Volume 50, Issue 2–3, pp 353–385 | Cite as

Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents

  • Sten Lindström
  • Wlodek Rabinowicz
Article

Keywords

Doxastic Logic Dynamic Doxastic Logic Introspective Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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