Bibliography

And58

A. R. Anderson, A reduction of deontic logic to alethic modal logic, Mind 67 (1958), 100-103.

And67

A. R. Anderson, The formal analysis of normative systems, The Logic of Decision and Action (N. Rescher, ed.), University of Pittsburgh Press, 1967, pp. 147-213.

Aum76

R. Aumann, Agreeing to disagree, Annals of Statistics 4 (1976), no. 6, 1236-1239.

Bac94

M. Bacharach, The epistemic structure of a theory of a game, Theory and Decision 37 (1994), no. 1, 7-48.

Bar89

J. Barwise, On the model theory of common knowledge, The situation in logic, CSLI lecture notes, Center for the Study of Language and Information, 1989, pp. 201-220.

Bin90

K. Binmore, Essays on the foundations of game theory, Basil Blackwell, Oxford, 1990.

BIP88

M. E. Bratman, D. J. Israel, and M. E. Pollack, Plans and resource-bounded practical reasoning, Computational Intelligence 4 (1988), 349-355.

Bon96

G. Bonanno, On the logic of common belief, Mathematical Logic Quartely 42 (1996), no. 3, 305-311.

Bra87

M. E. Bratman, Intentions, plans, and practical reason, Harvard University Press, Cambridge, MA, 1987.

Bra90

M. E. Bratman, What is intention?, Intentions in Communication (P. R. Cohen, J. L. Morgan, and M. E. Pollack, eds.), MIT Press, 1990, pp. 15-32.

BS92

K. Binmore and H. S. Shin, Algorithmic knowledge and game theory, Knowledge, belief, and strategic interaction (C. Bicchieri and M.-L. Dalla-Chiara, eds.), Cambridge University Press, 1992, pp. 141-154.

Bur84

J. P. Burgess, Basic tense logic, Handbook of Philosophical Logic Volume II -- Extensions of Classical Logic (D. Gabbay and F. Guenther, eds.), Reidel, 1984, (Synthese library Volume 164), pp. 89-134.

Car47

R. Carnap, Meaning and necessity, University of Chicago Press, Chicago, 1947.

Che80

B. Chellas, Modal logic. An introduction, Cambridge UP, Cambridge, 1980.

CL90

P. R. Cohen and H. J. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990), 213-261.

CM81

H. H. Clark and C. R. Marshall, Definite reference and mutual knowledge, Elements of discourse understanding (A. K. Joshi, B. L. Webber, and I. A. Sag, eds.), Cambridge University Press, 1981.

Cre70

M. J. Cresswell, Classical intensional logic, Theoria 36 (1970), 347-372.

Cre73

M. J. Cresswell, Logics and languages, Methuen, London, 1973.

Cre80

M. J. Cresswell, Quotational theories of propositional attitudes, Journal of Philosophical Logic 9 (1980), 17-40.

Den87

D. C. Dennett, The intentional stance, MIT Press, 1987.

Ebe74

R. Eberle, A logic of believing, knowing and inferring, Synthese 26 (1974), 356-382.

EDMP91

J. Elgot-Drapkin, M. Miller, and D. Perlis, Memory, reason, and time: the step-logic approach, In Philosophy and AI: Essays at the Interface (R. Cummins and J. Pollock, eds.), MIT Press, 1991, pp. 79-104.

Eme90

E. A. Emerson, Temporal and modal logic, Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B, North-Holland, 1990, pp. 995-1072.

FG97

S. Franklin and A. Graesser, Is it an agent, or just a program, Intelligent Agents III. Proceedings of ATAL-96 (J.P. Müller, M. Wooldridge, and N. Jennings, eds.), LNAI, no. 1193, Springer-Verlag, 1997, pp. 21-36.

FH88

R. Fagin and J. Y. Halpern, Belief, awareness and limited reasoning, Artificial Intelligence 34 (1988), 39-76.

FHMV95

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge, MIT Press, Cambridge, Mass., 1995.

FHV95

R. Fagin, J. Y. Halpern, and M. Y. Vardi, A nonstandard approach to the logical omniscience problem, Artificial Intelligence 79 (1995), 203-240.

Gea92

J. D. Geanakoplos, Common knowledge, Journal of Economic Perspectives 6 (1992), 53-82.

GG93

E. Gillet and P. Gochet, La logique de la connaissance: Le probleme de l'omniscience logique, Dialectica 47 (1993), no. 2-3, 143-171.

Gol87

R. Goldblatt, Logics of time and computation, CSLI, Stanford, 1987.

GR95

M. P. Georgeff and A. S. Rao, The semantics of intention maintenance for rational agents, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (Montréal, Québec, Canada), 1995, pp. 704-710.

Hal87

J. Y. Halpern, Using reasoning about knowledge to analyze distributed systems, Annual Review of Computer Science 2 (1987), 37-68.

Hal95

Steven D. Hales, Epistemic closure principles, Southwestern Journal of Philosophy 33 (1995), no. 2, 185-201.

Har84

D. Harel, Dynamic logic, Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, eds.), vol. II, Reidel, 1984, pp. 497-604.

HC96

G. E. Hughes and M. J. Cresswell, A new introduction to modal logic, Routledge, London, 1996.

Hei95

A. Heifetz, Common belief in monotonic epistemic logic, CORE Discussion Paper 9511, Universite Catholique de Louvain, 1995.

Hin62

J. Hintikka, Knowledge and belief, Cornell UP, Ithaca, N.Y., 1962.

Hin70

J. Hintikka, Knowledge, belief, and logical consequence, Ajatus 32 (1970), 32-47.

Hin75

J. Hintikka, Impossible possible worlds vindicated, Journal of Philosophical Logic 4 (1975), 475-484.

HK91

Z. Huang and K. Kwast, Awareness, negation and logical omniscience, Logics in AI, Proceedings JELIA'90 (J. van Eijck, ed.), LNAI, vol. 478, Springer-Verlag, 1991, pp. 282-300.

HM92

J. Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992), 319-379.

HMV94

J. Y. Halpern, Y. Moses, and M. Y. Vardi, Algorithmic knowledge, Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference (R. Fagin, ed.), Morgan Kaufman, 1994, pp. 255-266.

Ho93

D. N. Ho, Ein System der epistemischen Logik, Philosophie und Logik. Frege-Kolloquien Jena 1989/1991 (W. Stelzner, ed.), Walter de Gruyter, Berlin and New York, 1993, pp. 205-214.

Ho95

D. N. Ho, Logical omniscience vs. logical ignorance. On a dilemma of epistemic logic, Progress in Artificial Intelligence. Proceedings of EPIA'95 (C. P. Pereira and N. Mamede, eds.), LNAI, vol. 990, Springer Verlag, 1995, pp. 237-248.

Ho97

D. N. Ho, Reasoning about rational, but not logically omniscient agents, Journal of Logic and Computation 7 (1997), no. 5, 633-648.

Ho98

D. N. Ho, On the epistemic foundations of agent theories, Intelligent Agents IV. Proceedings of ATAL-97 (M. P. Singh, A. S. Rao, and M. J. Wooldridge, eds.), LNAI, vol. 1365, Springer Verlag, 1998, pp. 275-279.

Hoc72

M. Hocutt, Is epistemic logic possible?, Notre Dame Journal of Formal Logic 13 (1972), 433-453.

KL88

S. Kraus and D. Lehmann, Knowledge, belief and time, Theoretical Computer Science 58 (1988), 155-174.

Kon86

K. Konolige, A deduction model of belief, Pitman Publishing, London, 1986.

Kor98

F. Koriche, Approximate reasoning about combined knowledge, Intelligent Agents IV. Proceedings of ATAL-97 (M. P. Singh, A. S. Rao, and M. J. Wooldridge, eds.), LNAI, vol. 1365, Springer Verlag, 1998, pp. 259-274.

KT90

D. Kozen and J. Tiurzyn, Logics of program, Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B, North-Holland, 1990, pp. 789-840.

Len78

W. Lenzen, Recent work in epistemic logic, Acta Philosophica Fennica 30 (1978), 1-219.

Lev84

H. Levesque, A logic of implicit and explicit belief, Proceedings AAAI-84 (Austin, TX), 1984, pp. 198-202.

Lew69

D. Lewis, Convention, Harvard Univ. Press, Cambridge, MA, 1969.

Lew88

D. Lewis, Desire as belief, Mind 97 (1988), 323-332.

Lew96

D. Lewis, Desire as belief II, Mind 105 (1996), no. 418, 303-313.

Lis93

L. Lismont, La connaissance commune en logique modale, Mathematical Logic Quarterly 39 (1993), no. 1, 115-130.

LM94

L. Lismont and P. Mongin, On the logic of common belief and common knowledge, Theory and Decision 37 (1994), no. 1, 75-106.

McC79

J. McCarthy, Ascribing mental qualities to machines, Philosophical Perspectives in Artificial Intelligence (Martin Ringle, ed.), Harvester Press, 1979.

McC90

J. McCarthy, Formalization of common sense, papers by John McCarthy edited by V. Lifschitz, Ablex, 1990.

MH69

J. McCarthy and P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, 1969.

Moo90

R. C. Moore, A formal theory of knowledge and action, Readings in Planning (San Mateo, CA) (J. Allen, J. Hendler, and A. Tate, eds.), Morgan Kaufmann Publishers, San Mateo, CA, 1990, pp. 480-519.

NKP94

M. Nirkhe, S. Kraus, and D. Perlis, Thinking takes time: a modal active-logic for reasoning in time, Tech. Report CS-TR-3249, Dept. of Computer Science, Univ. of Maryland, 1994.

Ran82

V. Rantala, Impossible worlds semantics and logical omniscience, Acta Philosophica Fennica 35 (1982), 18-24.

RG91a

A. S. Rao and M. P. Georgeff, Asymmetry thesis and side-effect problems in linear time and branching time intention logics, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91) (Sydney, Australia), 1991, pp. 498-504.

RG91b

A. S. Rao and M. P. Georgeff, Modeling rational agents within a BDI-architecture, Proceedings of Knowledge Representation and Reasoning (KR&R-91) (R. Fikes and E. Sandewall, eds.), Morgan Kaufmann Publishers, 1991, pp. 473-484.

Sch72

S. R. Schiffer, Meaning, Clarendon, Oxford, 1972.

Sho93

Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993), no. 1, 51-92.

Sim57

H. Simon, Models of man, Macmillan Press, New York, 1957.

Sin94

M. P. Singh, Multiagent systems: A theoretical framework for intentions, know-how, and communications, LNAI, vol. 799, Springer-Verlag, Heidelberg, 1994.

Sin95

M. P. Singh, Semantical considerations on some primitives for agent specification, Intelligent Agents II. Proceedings of ATAL-95 (M. Wooldridge et. al., ed.), LNAI, vol. 1037, Springer-Verlag, 1995, pp. 49-64.

Ste79

P. Steinacker, Superschwache Modalkalküle und einige epistemische Anwendungen, Ph.D. thesis, Universität Leipzig, 1979.

Ste84

W. Stelzner, Epistemische Logik, Akademie-Verlag, Berlin, 1984.

SW94

H.-S. Shin and Timothy Williamson, Representing the knowledge of turing machines, Theory and Decision 37 (1994), no. 1, 125-146.

Thi93

E. Thijsse, On total awareness logics, Diamonds and defaults (M. de Rijke, ed.), Kluwer Academic Publishers Group, 1993, pp. 309-347.

vB84

J. van Benthem, Correspondence theory, Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, eds.), vol. II, Reidel, 1984, pp. 167-248.

vdHvLM94

W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer, A logic of capabilities (extended abstract), Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94) (A. Nerode and Yu.V. Matiyasevich, eds.), LNAI, vol. 813, Springer Verlag, 1994, pp. 366-378.

vLvdHM94

B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, Communicating rational agents, KI-94: Advances in Artificial Intelligence (B. Nebel and L. Dreschler-Fische, eds.), LNAI, vol. 861, Springer Verlag, 1994.

vLvdHM95a

B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, Actions that make you change your mind (extended abstract), KI-95: Advances in Artificial Intelligence (I. Wachsmuth, C.-R. Rollinger, and W. Brauer, eds.), LNAI, vol. 981, Springer-Verlag, 1995, pp. 185-196.

vLvdHM95b

B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, The dynamics of default reasoning (extended abstract), Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU'95) (C. Froidevaux and J. Kohlas, eds.), LNAI, vol. 946, Springer-Verlag, 1995, pp. 277-284.

vW63

G. H. von Wright, Practical inference, The Philosophical Review 72 (1963), 159-179.

vW72

G. H. von Wright, On so-called practical inference, The Philosophical Review 15 (1972), 39-53.

Wal92

B. Walliser, Epistemic logic and game theory, Knowledge, belief, and strategic interaction (C. Bicchieri and M.-L. Dalla-Chiara, eds.), Cambridge University Press, 1992, pp. 197-225.

Wan90

H. Wansing, A general possible worlds framework for reasoning about knowledge and belief, Studia Logica 49 (1990), no. 4, 523-539.

WJ95

M. Wooldridge and N. R. Jennings, Intelligent agents: Theory and practice, Knowledge Engineering Review 10 (1995), no. 2, 115-152.

Woo96

M. Wooldridge, Practical reasoning with procedural knowledge: A logic of BDI agents with know-how, Practical Reasoning. Proceedings of FAPR'96 (D. Gabbay and H-J. Ohlbach, eds.), LNAI, vol. 1085, Springer Verlag, 1996, pp. 202-213.

Wut91

K. Wuttich, Glauben, Zweifel, Wissen. Eine logisch-philosophische studie, Akademie-Verlag, Berlin, 1991.