DDL unlimited: Dynamic doxastic logic for introspective agents

Erkenntnis

Volumn 50, Issue 2-3, 1999, Pages 353-385

  Lindström, Sten ^a   Rabinowicz, Wlodek ^b  

^a UMEÅ UNIVERSITY   (Sweden)

^b LUND UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22944487869     PISSN: 01650106     EISSN: 15728420     Source Type: Journal    
DOI: 10.1023/a:1005577906029     Document Type: Review

References (21)

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.
2. Fuhrmann, A.: 1989, 'Reflective Modalities and Theory Change', Synthese 81, 115-134.
3. Grove, A.: 1988, 'Two Modellings for Theory Change', Journal of Philosophical Logic 17, 157-170.
4. Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Bradford Books, Cambridge, MA.
5. Hintikka, J.: 1962, Knowledge and Belief, Cornell University Press, Ithaca, New York.
6. Levi, I.: 1988, 'Iteration of Conditionals and the Ramsey Test', Synthese 76, 49-81.
7. Lewis, D.: 1973, Counterfactuals, Blackwells, Oxford.
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.
9. Lindström, S. and W. Rabinowicz: 1989, 'On Probabilistic Representation of Non-probabilistic Belief Revision', Journal of Philosophical Logic 18, 69-101.
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.
11. Lindström, S. and W. Rabinowicz: 1992, 'Belief Revision, Epistemic Conditionals and the Ramsey Test', Synthese 91, 195-237.
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.
13. Rabinowicz, W. and S. Lindström: 1994, 'How to Model Relational Belief Revision', in D. Prawitz and D. Westerstahl (eds.), Logic and Philosophy of Science in Uppsala, Kluwer, Dordrecht, pp. 69-84.
14. Rabinowicz, W. and K. Segerberg: 1994, 'Actual Truth, Possible Knowledge', Topoi 13, 101-115.
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.
16. Segerberg, K.: 1973, 'Two-Dimensional Modal Logic', Journal of Philosophical Logic 2, 77-96.
17. Segerberg, K.: 1995a, 'Belief Revision from the Point of View of Doxastic Logic'. Bulletin of the IGPL, 3, 535-553.
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.
19. Segerberg, K.: 1996a, 'Two Traditions in the Logic of Belief: Bringing Them Together', Uppsala Prints and Preprints in Philosophy, 1996, number 9.
20. Segerberg, K.: 1996b, 'Further Questions About Hypertheories', in Sten Lindström, Rysiek Sliwinski and Jan Österberg, Uppsala Philosophical Studies, vol. 45, 171-184.
21. Segerberg, K.: 1997, 'Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz', Fundamenta Informaticae 32, 183-191.