Gochet, Paul ; Université de Liège - ULiège > Services généraux (Faculté de philosophie et lettres) > Relations académiques et scientifiques (Philo et lettres)
Gribomont, Pascal ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle
530. Alchourrón C., Gärdenfors P., and Makinson D. On the logic of theory change: partial meet contraction and revision functors. The Journal of Symbolic Logic 50 (1985) 510
Aumann R.J. Agreeing to disagree. The Annals of Statistics 4 (1976) 1236-1239
Jules Ayer A. The Problem of Knowledge (1956), Macmillan, London
Baltag A., Moss L.S., and Solecki S. The logic of public announcements, common knowledge and private suspicions (extended abstract). Proceedings of the int. conference TARK 1998 (1998), Morgan Kaufmann Publishers 43-56
Utrecht. Baltag A. A logic of epistemic actions. In: van der Hoek W., Meyer J.J., and Witteveen C. (Eds). Foundations and Applications of Collective Agent Based Systems, Lecture notes of the international Summer School ESSLLI 1999 (1999) 1-14
Baltag A. A logic for suspicious players: epistemic actions and belief-updates in games. Bulletin of Economic Research 54 (2002) 1-45
Barwise J. Scenes and other situations. The Journal of Philosophy 78 (1981) 369-397
In: Batens D., Mortensen C., Priest G., and van Bendegem J.-P. (Eds). Frontiers of Paraconsistent Logics (2000), Research Studies Press Ltd, Baldock
Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, Cambridge
Boh I. Epistemic Logic in the Later Middle Ages (1993), Routledge, London
Carlson L. Quantified Hintikka-style epistemic logic. Synthese 74 (1988) 223-262
Carnap R. Modalities and quantification. Journal of Symbolic Logic 11 (1946) 33-64
Castañeda H.-N. Review of 'knowledge and belief'. Journal of Symbolic Logic 29 (1964) 132-134
Chandy K.M., and Misra J. How processes learn. Distributed Computing 1 (1986)
Chellas B.F. Modal Logic. An introduction (1980), Cambridge University Press, Cambridge
B.Cocchiarella N. Philosophical perspectives on quantifications in tense and modal logic. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic Volume II: Extensions of Classical Logic (1984), D. Reidel Publishing Company, Dordrecht 309-353
Bologna. Corsi G. Counterparts and possible worlds. A study on quantified modal logics. Technical report (2001)
Cresswell M.J. Entities and Indices (1991), Kluwer Academic Publishers, Dordrecht
D'Agostino M., and Gabbay D.M. A generalization of analytic deduction via labeled deductive systems, part I: Basic substructural logics. Journal of Automated Reasoning 13 (1994) 242-281
D'Agostino M., Gabbay D.M., and Russo A. Grafting modalities onto substructural implication systems. Studia logica VII (1997) 1-40
Davidson D. On saying that. Synthese 19 (1968 9) 130-146
de Rijke M. Meeting some neighbours. In: van Eijck J., and Visser A. (Eds). Logic and Information Flow (1994), The MIT Press, Cambridge Mass 170-195
Dretske F.I. Knowledge and the Flow of Information (1981), Basil Blackwell, Oxford
Dubucs J. On logical omniscience. Logique et Analyse, Numéro spécial. Intel-national Symposium on Epistemic Logic 133-134 (1991) 41-55
Dubucs J. Logique, effectivité et faisabilité. Dialogue XXXVI (1997) 45-68
Duc H.N. Resource-Bounded Reasoning about Knowledge. PhD thesis (2001)
Fagin R., and Halpern J.Y. Belief, awareness, and limited reasoning. Artificial Intelligence 34 (1988) 39-76
Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), The MIT Press, Cambridge, Mass
Fitting M., and Mendelsohn R.L. First-Order Modal Logic (1998), Kluwer Academic Publishers, Dordrecht
Føllesdal D. Knowledge, identity and existence. Theoria XXXIII (1967) 1-27
Frege G. Sense and nominatum. In: Feigl H., and Scllars W. (Eds). Readings in Philosophical Analysis (1949), Appleton-Century-Crofts, New York 85-102
Ueber Sinn and Bedeutung. Zeitschrift für Philos. und Philos. Kritik vol. 100 (1892)
Gabbay D.M. Tense logics and the tenses of english. In: Moravcsik J.M.E. (Ed). Logic and Philosophy for Linguists: A Book of Readings (1974), Mouton, The Hague 177-186
Gabbay D. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics (1976), D. Reidel Publishing Company, Dordrecht
(paper covering tutorial given in tark 1990). Geanakoplos J. Common knowledge. In: Moses Y. (Ed). Proceedings of the fourth conference TARK 1992 (1992), Morgan Kaufmann Publishers, San Mateo 254-315
Genesereth M.R., and Nilsson N.J. Logical Foundations of Artificial Intelligence (1988), Morgan Kaufmann Publishers, Palo Alto
Gerbrandy J., and Groeneveld W. Reasoning about information change. Journal of Logic, Language and Information 6 (1997) 147-169
Gerbrandy J. Bisimulations on Planet Kripke (1999)
Gillet E., and Gochet P. La logique de la connaissance. le probléme de l'omniscience logique. Dialectica 47 (1993) 143-171
Gillet E. Essentialisme et identité contingente. In: Beets F., and Gillet E. (Eds). Logique en perspective. Mélanges offerts à Paul Gochet (2000), Ousia, Bruxelles 481-500
Gochet P., Gribomont P., and Thayse A. Logique, Methodes pour Vintelligence artificielle, tome 3 (2000), Hermés, Paris
Gochet P. The dynamic turn in epistemic logic. In: Löffier W., and Weingartner P. (Eds). 26th International Wittgenstein Symposium 2003 (2004), Verlag öbv et hpt, Vienna 120-125
Grove A. Two modelings for theory change. Journal of Philosophical Logic 17 (1988) 157-170
Haack S. Philosophy of Logics (1978), Cambridge University Press, Cambridge
Halpern J., and Moses Y. Towards a theory of knowledge and ignorance: preliminary report. In: Apt K. (Ed). Models of Concurrent Systems (1985), Springer-Verlag, Berlin 159-476
(first version in 1985). Halpern J.Y., and Moses Y. A guide to completeness and complexity for propositional logics of knowledge and belief. Artificial Intelligence 54 (1992) 319-379
Halpern J.Y., and Vardi M.Y. Model checking vs. theorem proving: a manifesto. In: Lifschitz V. (Ed). Artificial Intelligence and Mathematical Theory of Computation [Papers in Honor of John McCarthy] (1991), Academic- Presss, San Diego 151-176
Halpern J.Y. Should knoweldge entail belief. Journal of Philosophical Logic 25 (1996) 483-494
Hazen A. Counterpart-theoretic semantics for modal logic. The Journal of Philosophy 76 (1979) 319-338
Hintikka J. Knowledge and Belief. An Introduction to the Logic of the two Notions (1962), Cornell University Press, Ithaca, New York
Reissue prepared by V. Hendricks and J. Symons, King's College London Publications, 2005
Hintikka J. Knowing oneself and other problems in epistemic logic. Theoria 32 (1966) 1-13
Hintikka J. Logic, belief and logical consequence. Ajatus 32 (1970) 32-47
Hintikka J. The semantics of modal notions and the indeterminacy of ontology. In: Davidson D., and Harman G. (Eds). Semantics of Natural language (1972), D. Reidel Publishing Company, Dordrecht 398-414
Huang Z., and Kwast K. Awareness, negation and logical omniscience. In: van Eijck J. (Ed). Lecture Notes in Artificial Intelligence, 478 (1991), Springer Verlag, Berlin 282-300
Hughes G.E., and Cresswell M.J. A Companion to Modal Logic (1984), Methuen, London
Hughes G.E., and Crcsswell M.J. A New Introduction to Modal Logic (1996), Routledge, London
Jackson P., and Reichgelt H. A general proof method for modal predicate logic. In: Jackson P., Reichgelt H., and van Harmelen F. (Eds). Logic-Based Knowledge Representation (1989), The MIT Press, Cambridge, Massachusetts 177-218
Kaneko M., and Nagashima T. Game logic and its applications I. Studia Logica 57 (1996) 325-354
Kaneko M., and Nagashima T. Game logic and its applications II. Studia Logica 58 (1997) 273-303
Kaneko M., Nagashima T., Suzuki N.-Y., and Tanaka Y. A map of common knowledge logics. Studia Logica 71 (2002) 57-86
Kaneko M. Common knowledge logic and game logic. Journal of Symbolic Logic 64 (1999) 685-700
Konolige K. A Deduction Model of Belief (1986), Pitman, London
Kraus S., and Lehmann D. Knowledge, belief and time. Theoretical Computer Science 58 (1988) 155-174
Kripke S.A. A puzzle about belief. In: Margalit A. (Ed). Meaning and Use (1979), D. Reidel Publishing Company, Dordrecht 239-283
Revised and enlarged edition. First published in 1972 in G. Harmann and D. Davidson (editors), Semantics of natural Language. Kripke S.A. Naming and Necessity (1980), Basil Blackwell, Oxford
Ladriére J. Le formalisme et le sens. In: Mouloud N. (Ed). Les langages, le sens et l'histoire (Colloque international de l'Université de Lille III, 1972) (1975), Publications de l'Univcrsité de Lille III, Lille 241-292
Lamport L. Time, clocks and the ordering of events in a distributed system. Comm. of the ACM 21 (1978) 558-565
Lenzen W. Knowledge, belief, existence, and quantifiers - a note on Hintikka. Grazer Philosophische Studien 2 (1976) 55-65
Lenzen W. Recent work in epistemic logic. Acta Philosophica Fennica 30 (1978) 5-219
Lenzen W. Epistemologische Betractungen zu [S4,S5]. Erkenntnis 14 (1979) 33-56
Lenzen W. Glauben, Wissen und Wahrschcinlichkeit. Systeme der epistemische Logik (1980), Springer-Verlag, Wien
Lepage F., and Lapierre S. Logique partielle et savoir. Essai de philosophic formelle (2000), Bellarmin Vrin, Montreal Paris
Austin Texas. Levesque H.J. A logic of implicit and explicit beliefs. Proceedings of the national conference on artificial intelligence (1984) 198-202
Levi I. For the Sake of the Argument (1996), Cambridge University Press, Cambridge
Lindström S., and Rabinowicz W. Unlimited dynamic doxastic logic for introspective agents. Erkenntnis 50 (1999) 353-385
Lismont L., and Mongin P. A non-minimal but very weak axiomatization of common belief. Artificial Intelligence 70 (1994) 363-374
Lismont L., and Mongin P. On the logic of common belief and common knowledge. Theory and Decision 37 (1994) 75-106
Lomuscio A. Knowledge Sharing among Ideal Agents. PhD thesis (1999)
Marcus R.B. A functional calculus of first order based on strict implication. The Journal of Symbolic Logic 11 (1946) 1-16
Marcus R.B. Modalities. Philosophical Essays (1993), Oxford University Press, Oxford
McGee V. A counterexample to modus ponens. Journal of Philosophy 82 (1985) 462-471
Meyer J.-J.Ch., and van der Hoek W. Epistemic Logic for AI and Computer Science (1995), Cambridge University Press, Cambridge
Moore G.E. Ethics (1912), Williams and Norgate, London
Moore R.C. Logic and Representation (1995), CSLI Publications, Stanford
Moss L. Dynamic epistemic logic. Technical report, Indiana (2002)
Nerode A., and Shore R.A. Logic for Applications (1993), Springer-Verlag, Berlin
Orilia F. Belief revision and the alethic paradoxes. In: Chapuis A., and Gupta A. (Eds). Circularity,Definition and Truth (2000), Indian Council of Philosophical Research, New Delhi 273-296
Parikh R. Propositions, propositional attitudes and belief revision. In: Zakharyaschev M., Segerberg K., Rijke M.d., and Wansing H. (Eds). Advances in Modal Logic Vol. 2 (2001), CSLI Publications, Stanford 381-400
Pietarinen A. Technical report (2003)
Van Orman Quine W. From a Logical Point of View. 2nd ed. (1953-1961), Harper and Row, New York
Van Orman Quine W. Theories and Things (1981), The Belknap Press of Harvard University Press, Cambridge, Mass
Ramsay A. Formal Methods in Artificial Intelligence (1988), Cambridge University Press, Cambridge
Reichenbach H. Elements of Symbolic Logic (1947), McMillan, New York
Rivenc F., and de Rouilhan P. Introduction des Traducteurs (See Carnap, Signification et Necessite) (1997), Gallimard, Cambridge, Mass
Ryle G. Plato. In: Edwards P. (Ed). The Encyclopedia of Philosophy (1967), Collier Macmillan Publishers, London 314-333
Sahlqvist H. Completeness and correspondence in the first and second order semantics for modal logic. In: Kanger S. (Ed). Proceedings of the the Third Scandinavian Logic Symposium. Uppsala 1973 (1975), North-Holland, Amsterdam
Scott D. Advice on modal logic. In: Lambert K. (Ed). Philosophical Problems in Logic (1970), D. Reidel Publishing Company, Dordrecht 143-173
Segerberg K. Belief revision from the point of view of doxastic logic. Bulletin of the IGPL 3 (1995) 535-553
Segerberg K. Proposal for a theory of belief revision along the lines of lindström and rabinowicz. Fundamenta Informaticae 32 (1997) 183-191
Segerberg K. Irrevocable belief revision in dynamic doxastic logic. Notre Dame Journal of Formal Logic 39 (1998) 287-306
Segerberg K. Two traditions in the logic of belief: Bringing them together. In: Ohlbach H.J., and Reyle U. (Eds). Logic, Language and Reasoning. Essays in Honour of Dov Gabbay (1999), Kluwer Academic Publishers, Dordrecht 117-135
Segerberg K. The basic dynamic doxastic logic of AGM. In: Williams M.-A., and Rott H. (Eds). Frontiers in Belief Revision (2001), Kluwer Academic Publishers, Dordrecht 57-84
Simon L. Résolution d'un paradoxe en logique de croyance et de connaissance. MA thesis (1998), Facultés universitaires Notre Dame de la Paix, Institut d'informatique
Spaan E. Complexity of Modal Logics. PhD thesis (1993)
Spaan E. The complexity of propositional tense logics. In: Rijke M.d. (Ed). Diamonds and Defaults (1993), Kluwer Academic Publishers, Dordrecht 239-252
Sturm H., Wolter F., and Zakharyaschev M. Common knowledge and quantification. Economic Theory 19 (2002) 157-186
Tanaka Y., and Ono H. Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics. In: Zakharyaschev M., Segerberg K., Rijke M.d., and Wansing H. (Eds). Advances in Modal Logic volume 2 (2001), CSLI Publications, Stanford 401-419
Tarski A. The semantic conception of truth (1949), Appleton-Century-Crofts, New York 52-84
Tarski A. The semantic conception of truth. reprinted from. Philosophy and Phenomenological Research vol. 6 (1994) 52-84
In: Thayse A. (Ed). From Modal Logic to Deductive Databases (1989), Wiley
Thijsse E.C.C. Logics of consciousness explained and compared: Partial approaches to actual belief. Logique et Analyse (1991) 133-134
Numéro spécial International Symposium on Epistemic Logic (1991) 221-250
Thijsse E. Partial Logic and Knowledge Representation. PhD thesis (1992)
Toms E. Being, Negation and Logic (1962), Basil Blackwell, Oxford
van Benthem J. Modal Correspondance Theory. PhD thesis (1976)
van Benthem J. Modal Logic and Classical Logic (1983), Bibliopolis, Naples
van Benthem J. Languages in Action (1991), North-Holland, Amsterdam
van der Hoek W., and Meyer J.-J.Ch. Possible logics for belief. Logique et Analyse 127-128 (1989) 177-194
van der Hoek W., Jaspars J., and Thijsse E. Persistence and minimality in epistemic logic. Annals of Mathematics and Artificial Intelligence 27 (1999) 25-47
van der Hoek W. Systems for knowledge and belief. Journal of Logic and Computation 3 (1993) 173-195
van Ditmarsch H.P. Descriptions of game actions. Jl. of Logic, Language and Information 11 (2002) 349-365
van Linder B., van der Hoek W., and Meyer J.-J. Actions that make you change your mind. In: Laux A., and Wansing H. (Eds). Knowledge and Belief in Philosophy and Artificial Intelligence (1995), Akademie Verlag, Berlin 103-146
Veltman F. Defaults in update semantics. Journal of Philosophical Logic 26 (1996) 221-261
Viganò L. Labelled Non-Classical Logics (2000), Kluwer Academic Publishers, Dordrecht
Voorbraak F. Generalized Kripke models for epistemic logic (1992), Morgan Kaufmann Publishers, San Matco 214-228
Voorbraak F. As Far as I Know. Epistemic Logic and Uncertainty. PhD thesis (1993)
Wassermann R. Resource-bounded belief revision. Erkenntnis 50 (1999) 429-446
Wassermann R. Resource-Bounded Belief Revision. PhD thesis (2000)
Wassermann R. On structured belief bases. In: Williams M.-A., and Rott H. (Eds). Frontiers in Belief Revision (2001), Kluwer Academics Publishers, Dordrecht 349-367
Williamson T. Knowledge and its Limits (2000), Oxford University Press, Oxford
Williamson T. Some philosophical aspects of reasoning about knowledge. In: van Benthem J. (Ed). Proceedings of the 8th conference TARK 2001 (2001), Morgan Kaufmann Publishers, San Francisco 97
Wiśniewski A. Two logics of occurrent belief. Acta Universitatis Wratislaviensis No 2023 18 (1998) 115-121
Wolter F. Fragments of first-order common knowledge logics. Studia logica 65 (2000) 249-271
