Common knowledge and quantification

Economic Theory

Volumn 19, Issue 1, 2002, Pages 157-186

  Sturm, Holger ^a   Wolter, Frank ^a   Zakharyaschev, Michael ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Axiomatizability; Common knowledge; Epistemic logic; First order epistemic logic; Monodic fragments

Indexed keywords

EID: 0036001498     PISSN: 09382259     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001990100201     Document Type: Conference Paper

References (25)

1. H. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27, 217-274 (1998)
2. Aumann, R. J.: Agreeing to disagree. The Annals of Statistics 4, 1236-1239 (1976)
3. Bacharach, M.: The epistemic structure of a theory of game. Theory and Decision 37, 7-48 (1994)
4. Boerger, E., Graedel, E., Gurevich, Y.: The classical decision problem. Berlin Heidelberg New York: Springer 1997
5. Chagrov, A. V., Zakharyaschev, M. V.: Modal logic. Oxford: Clarendon Press 1997
6. Ebbinghaus, H., Flum, J.: Finite model theory. Berlin Heidelberg New York: Springer 1995
7. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. Cambridge, MA: MIT Press 1995
8. Garson, J. W.: Quantification in modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Vol. II, pp. 249-307. Dordrecht: Kluwer 1984
9. Gräber, A., Bürckert, H., Laux, A.: Terminological reasoning with knowledge an belief. In: Laux, A., Wansing, H. (eds.) Knowledge and belief in philosophy and artificial intelligence, pp. 29-61. Berlin: Akademie Verlag 1995
10. Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319-379 (1992)
11. Hintikka, J.: Knowledge and belief: An introduction to the logic of two notions. Ithaca, NY: Cornell University Press 1962
12. Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic 106, 85-134 (2000)
13. G.E. Hughes, G. E., Cresswell, M. J.: A new introduction to modal logic. London: Routledge 1996
14. Kaneko, M.: Common knowledge logic and game logic. Journal of Symbolic Logic 64, 685-700 (1999)
15. Kaneko, M., Nagashima, T.: Game logic and its applications 1. Studia Logica 57, 325-354 (1996)
16. Kaneko, M., Nagashima, T.: Game logic and its applications 2. Studia Logica 58, 273-303 (1997)
17. Laux, A.: Beliefs in multi-agent worlds: a terminological approach. In: Proceedings of the 11th European Conference on Artificial Intelligence, pp. 299-303. Amsterdam 1994
18. Lenzen, W.: Recent work in epistemic logic. Acta Philosophica Fennica 30, 1-219 (1978)
19. Lewis, D.: Convention. A philosophical study. Cambridge, MA: Harvard University Press 1969
20. McCarthy, J., Sato, M., Hayashi, T., Igarishi, S.: On the model theory of knowledge. Technical Report STAN-CS-78-657, Stanford University (1979)
21. Meyer, J. J., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge: Cambridge University Press 1995
22. Wolter, F.: Fragments of first-order common knowledge logics. Studia Logica 65, 249-271 (2000)
23. Wolter, F., Zakharyaschev, M.: Satisfiability problem in description logics with modal operators. In: Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning, Montreal, Canada, 1998, pp. 512-523, San Francisco: Morgan Kaufman 1998
24. Wolter, F., Zakharyaschev, M.: Modal description logics: modalizing roles. Fundamenta Informaticae 39, 411-438 (1999)
25. Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order modal logics. Journal of Sym-bolic Logic (2001) in press