Changing Modalities

Journal of Logic and Computation

Volumn 14, Issue 2, 2004, Pages 251-275

  Renardel De Lavalette, Gerard R ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Action structures; Dynamic logic; Epistemic actions; Epistemic logic; Knowledge structures; Modal logic; Modal structures

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MULTI AGENT SYSTEMS; SEMANTICS;

ACTION STRUCTURES; DYNAMIC LOGICS; EPISTEMIC ACTIONS; EPISTEMIC LOGICS; KNOWLEDGE STRUCTURES; MODAL LOGICS; MODAL STRUCTURES;

MODAL ANALYSIS;

EID: 2342430103     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.2.251     Document Type: Article

References (22)

1. P. Aczel. Non-wellfounded Set Theory. CSLI Lecture Notes 14, CSLI Publications, Stanford, 1988.
2. A. Baltag. A logic of epistemic actions. In Proceedings of Workshop Foundations and Applications of Collective Agent Based Systems, 11th ESSLLI Summer School, Utrecht, W. van der Hoek, J.-J.Ch. Meyer, C. Witteveen, eds, 1999.
3. A. Baltag. A logic for suspicious players: Epistemic actions and belief updates in games. Bulletin of Economic Research, 54, 1-45, 2002.
4. A. Baltag, L.S. Moss, and S. Solecki. The logic of public announcements, common knowledge and private suspicions (extended abstract). In Proceedings of the Seventh Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98), pp. 43-56. 1998.
5. A. Baltag, L.S. Moss, and S. Solecki. Untitled manuscript, 2003.
6. R. Fagin. A quantitative analysis of modal logic. The Journal of Symbolic Logic, 59, 209-252, 1994.
7. R. Fagin, J. Y. Halpem, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
8. R. Fagin, J. Y. Halpern, and M. Y. Vardi. A model-theoretic analysis of knowledge. Journal of the ACM, 38, 382-428, 1991.
9. R. Fagin and M. Y. Vardi. An internal semantics for modal logic: preliminary report. In Proceedings of the Seventeenth Annual ACM symposium on Theory of Computing, pp. 305-315, ACM, New York, 1985.
10. K. Fine. Normal forms in modal logic. Notre Dame Journal of Formal Logic, 16, 229-237, 1975.
11. J. Gerbrandy. Bisimulations on Planet Kripke. PhD thesis, Institute for Logic, Language and Computation, Amsterdam, 1999.
12. J. Gerbrandy and W. Groeneveld. Reasoning about information change. Journal of Logic, Language and Information, 6, 147-169, 1997.
13. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, Cambridge MA, 2000.
14. J.-J.Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge, 1995.
15. J. Miller and L. S. Moss. The undecidability of iterated modal relativization. Indiana University, Draft, 2003.
16. J.A. Plaza. Logics of public communications, In Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, M.L. Emrich, M.S. Pfeifer, M. Hadzikadic, and Z.W. Ras, eds, pp. 201-216. North-Holland, 1989.
17. V. R. Pratt. Semantical considerations on Floyd-Hoare logic. In Proceedings of the Seventeenth Annual Symposium on Foundations of Computer Science, pp. 109-121. IEEE, New York, 1976.
18. G. R. Renardel de Lavalette. A logic of modification and creation. In Logical Perspectives on Language and Information, C. Condoravdi and G. R. Renardel de Lavalette, eds, pp. 197-219. CSLI publications, Stanford, USA, 2001.
19. J. van Benthem. Exploring Logical Dynamics. Studies in Logic, Language and Information. CSLI Publications and FoLLI, Stanford, 1996.
20. J. van Benthem and G. Cepparello. Tarskian variations - Dynamic parameters in classical semantics. Report CS-R9419. Centrum voor Wiskunde en Informatica, Amsterdam, 1994.
21. H.P. van Ditmarsch. Knowledge Games. PhD thesis, University of Groningen, the Netherlands, 2000.
22. H.P. van Ditmarsch. Knowledge games. Bulletin of Economic Research, 53, 249-273, 2001.