{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215254,"version":"3.33.0"},"reference-count":137,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80028-2","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"99-195","source":"Crossref","is-referenced-by-count":35,"title":["Epistemic logic"],"prefix":"10.1016","author":[{"given":"Paul","family":"Gochet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Gribomont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80028-2_bib1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functors","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80028-2_bib2","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1214\/aos\/1176343654","article-title":"Agreeing to disagree","volume":"4","author":"Aumann","year":"1976","journal-title":"The Annals of Statistics"},{"year":"1956","series-title":"The Problem of Knowledge","author":"Jules Ayer","key":"10.1016\/S1874-5857(06)80028-2_bib3"},{"key":"10.1016\/S1874-5857(06)80028-2_bib4","series-title":"Proceedings of the int. conference TARK 1998","first-page":"43","article-title":"The logic of public announcements, common knowledge and private suspicions (extended abstract)","author":"Baltag","year":"1998"},{"key":"10.1016\/S1874-5857(06)80028-2_bib5","series-title":"Foundations and Applications of Collective Agent Based Systems, Lecture notes of the international Summer School ESSLLI 1999","first-page":"1","article-title":"A logic of epistemic actions","author":"Baltag","year":"1999"},{"key":"10.1016\/S1874-5857(06)80028-2_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","article-title":"A logic for suspicious players: epistemic actions and belief-updates in games","volume":"54","author":"Baltag","year":"2002","journal-title":"Bulletin of Economic Research"},{"key":"10.1016\/S1874-5857(06)80028-2_bib7","doi-asserted-by":"crossref","first-page":"369","DOI":"10.2307\/2026481","article-title":"Scenes and other situations","volume":"78","author":"Barwise","year":"1981","journal-title":"The Journal of Philosophy"},{"year":"2000","series-title":"Frontiers of Paraconsistent Logics","key":"10.1016\/S1874-5857(06)80028-2_bib8"},{"year":"2001","series-title":"Modal Logic","author":"Blackburn","key":"10.1016\/S1874-5857(06)80028-2_bib9"},{"year":"1993","series-title":"Epistemic Logic in the Later Middle Ages","author":"Boh","key":"10.1016\/S1874-5857(06)80028-2_bib10"},{"key":"10.1016\/S1874-5857(06)80028-2_bib11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF00869554","article-title":"Quantified Hintikka-style epistemic logic","volume":"74","author":"Carlson","year":"1988","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80028-2_bib12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268610","article-title":"Modalities and quantification","volume":"11","author":"Carnap","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80028-2_bib13","doi-asserted-by":"crossref","first-page":"132","DOI":"10.2307\/2271621","article-title":"Review of \u2018knowledge and belief\u2019","volume":"29","author":"Casta\u00f1eda","year":"1964","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80028-2_bib14","doi-asserted-by":"crossref","DOI":"10.1007\/BF01843569","article-title":"How processes learn","volume":"1","author":"Chandy","year":"1986","journal-title":"Distributed Computing"},{"year":"1980","series-title":"Modal Logic. An introduction","author":"Chellas","key":"10.1016\/S1874-5857(06)80028-2_bib15"},{"key":"10.1016\/S1874-5857(06)80028-2_bib16","series-title":"Handbook of Philosophical Logic Volume II: Extensions of Classical Logic","first-page":"309","article-title":"Philosophical perspectives on quantifications in tense and modal logic","author":"B.Cocchiarella","year":"1984"},{"article-title":"Counterparts and possible worlds. A study on quantified modal logics","year":"2001","author":"Corsi","key":"10.1016\/S1874-5857(06)80028-2_bib17"},{"year":"1991","series-title":"Entities and Indices","author":"Cresswell","key":"10.1016\/S1874-5857(06)80028-2_bib18"},{"key":"10.1016\/S1874-5857(06)80028-2_bib19","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/BF00881958","article-title":"A generalization of analytic deduction via labeled deductive systems, part I: Basic substructural logics","volume":"13","author":"D'Agostino","year":"1994","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1874-5857(06)80028-2_bib20","first-page":"1","article-title":"Grafting modalities onto substructural implication systems","volume":"VII","author":"D'Agostino","year":"1997","journal-title":"Studia logica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib21","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/BF00568054","article-title":"On saying that","volume":"19","author":"Davidson","year":"1968","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80028-2_bib22","series-title":"Logic and Information Flow","first-page":"170","article-title":"Meeting some neighbours","author":"de Rijke","year":"1994"},{"year":"1981","series-title":"Knowledge and the Flow of Information","author":"Dretske","key":"10.1016\/S1874-5857(06)80028-2_bib23"},{"key":"10.1016\/S1874-5857(06)80028-2_bib24","first-page":"41","article-title":"On logical omniscience","volume":"133-134","author":"Dubucs","year":"1991"},{"key":"10.1016\/S1874-5857(06)80028-2_bib25","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S001221730000929X","article-title":"Logique, effectivit\u00e9 et faisabilit\u00e9","volume":"XXXVI","author":"Dubucs","year":"1997","journal-title":"Dialogue"},{"article-title":"Resource-Bounded Reasoning about Knowledge","year":"2001","author":"Duc","key":"10.1016\/S1874-5857(06)80028-2_bib26"},{"key":"10.1016\/S1874-5857(06)80028-2_bib27","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1995","series-title":"Reasoning about Knowledge","author":"Fagin","key":"10.1016\/S1874-5857(06)80028-2_bib28"},{"year":"1998","series-title":"First-Order Modal Logic","author":"Fitting","key":"10.1016\/S1874-5857(06)80028-2_bib29"},{"key":"10.1016\/S1874-5857(06)80028-2_bib30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1967.tb00606.x","article-title":"Knowledge, identity and existence","volume":"XXXIII","author":"F\u00f8llesdal","year":"1967","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80028-2_bib31_1","series-title":"Readings in Philosophical Analysis","first-page":"85","article-title":"Sense and nominatum","author":"Frege","year":"1949"},{"key":"10.1016\/S1874-5857(06)80028-2_bib31_2","article-title":"Ueber Sinn and Bedeutung","volume":"vol. 100","year":"1892","journal-title":"Zeitschrift f\u00fcr Philos. und Philos. Kritik"},{"key":"10.1016\/S1874-5857(06)80028-2_bib32","series-title":"Logic and Philosophy for Linguists: A Book of Readings","first-page":"177","article-title":"Tense logics and the tenses of english","author":"Gabbay","year":"1974"},{"year":"1976","series-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"Gabbay","key":"10.1016\/S1874-5857(06)80028-2_bib33"},{"key":"10.1016\/S1874-5857(06)80028-2_bib34","series-title":"Proceedings of the fourth conference TARK 1992","first-page":"254","article-title":"Common knowledge","author":"Geanakoplos","year":"1992"},{"year":"1988","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","key":"10.1016\/S1874-5857(06)80028-2_bib35"},{"key":"10.1016\/S1874-5857(06)80028-2_bib36","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"year":"1999","series-title":"Bisimulations on Planet Kripke","author":"Gerbrandy","key":"10.1016\/S1874-5857(06)80028-2_bib37"},{"key":"10.1016\/S1874-5857(06)80028-2_bib38","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","article-title":"Is justified true belief knowledge","volume":"XXV","author":"Gettier","year":"1963","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(06)80028-2_bib39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1111\/j.1746-8361.1993.tb00138.x","article-title":"La logique de la connaissance. le probl\u00e9me de l'omniscience logique","volume":"47","author":"Gillet","year":"1993","journal-title":"Dialectica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib40","series-title":"Logique en perspective. M\u00e9langes offerts \u00e0 Paul Gochet","first-page":"481","article-title":"Essentialisme et identit\u00e9 contingente","author":"Gillet","year":"2000"},{"year":"2000","series-title":"Logique, Methodes pour Vintelligence artificielle, tome 3","author":"Gochet","key":"10.1016\/S1874-5857(06)80028-2_bib41"},{"key":"10.1016\/S1874-5857(06)80028-2_bib42","series-title":"26th International Wittgenstein Symposium 2003","first-page":"120","article-title":"The dynamic turn in epistemic logic","author":"Gochet","year":"2004"},{"key":"10.1016\/S1874-5857(06)80028-2_bib43","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modelings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"year":"1978","series-title":"Philosophy of Logics","author":"Haack","key":"10.1016\/S1874-5857(06)80028-2_bib44"},{"key":"10.1016\/S1874-5857(06)80028-2_bib45","series-title":"Models of Concurrent Systems","first-page":"159","article-title":"Towards a theory of knowledge and ignorance: preliminary report","author":"Halpern","year":"1985"},{"key":"10.1016\/S1874-5857(06)80028-2_bib46","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for propositional logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(06)80028-2_bib47","series-title":"Artificial Intelligence and Mathematical Theory of Computation [Papers in Honor of John McCarthy]","first-page":"151","article-title":"Model checking vs. theorem proving: a manifesto","author":"Halpern","year":"1991"},{"key":"10.1016\/S1874-5857(06)80028-2_bib48","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/BF00257382","article-title":"Should knoweldge entail belief","volume":"25","author":"Halpern","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80028-2_bib49","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/2025472","article-title":"Counterpart-theoretic semantics for modal logic","volume":"76","author":"Hazen","year":"1979","journal-title":"The Journal of Philosophy"},{"year":"1962","series-title":"Knowledge and Belief. An Introduction to the Logic of the two Notions","author":"Hintikka","key":"10.1016\/S1874-5857(06)80028-2_bib50_1"},{"key":"10.1016\/S1874-5857(06)80028-2_bib50_2","unstructured":"Reissue prepared by V. Hendricks and J. Symons, King's College London Publications, 2005"},{"key":"10.1016\/S1874-5857(06)80028-2_bib51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1966.tb00585.x","article-title":"Knowing oneself and other problems in epistemic logic","volume":"32","author":"Hintikka","year":"1966","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80028-2_bib52","first-page":"32","article-title":"Logic, belief and logical consequence","volume":"32","author":"Hintikka","year":"1970","journal-title":"Ajatus"},{"key":"10.1016\/S1874-5857(06)80028-2_bib53","series-title":"Semantics of Natural language","first-page":"398","article-title":"The semantics of modal notions and the indeterminacy of ontology","author":"Hintikka","year":"1972"},{"key":"10.1016\/S1874-5857(06)80028-2_bib54","series-title":"Lecture Notes in Artificial Intelligence, 478","first-page":"282","article-title":"Awareness, negation and logical omniscience","author":"Huang","year":"1991"},{"year":"1984","series-title":"A Companion to Modal Logic","author":"Hughes","key":"10.1016\/S1874-5857(06)80028-2_bib55"},{"year":"1996","series-title":"A New Introduction to Modal Logic","author":"Hughes","key":"10.1016\/S1874-5857(06)80028-2_bib56"},{"key":"10.1016\/S1874-5857(06)80028-2_bib57","series-title":"Logic-Based Knowledge Representation","first-page":"177","article-title":"A general proof method for modal predicate logic","author":"Jackson","year":"1989"},{"key":"10.1016\/S1874-5857(06)80028-2_bib58","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00370838","article-title":"Game logic and its applications I","volume":"57","author":"Kaneko","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib59","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1004975724824","article-title":"Game logic and its applications II","volume":"58","author":"Kaneko","year":"1997","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib60","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/A:1016387008323","article-title":"A map of common knowledge logics","volume":"71","author":"Kaneko","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib61","doi-asserted-by":"crossref","first-page":"685","DOI":"10.2307\/2586493","article-title":"Common knowledge logic and game logic","volume":"64","author":"Kaneko","year":"1999","journal-title":"Journal of Symbolic Logic"},{"year":"1986","series-title":"A Deduction Model of Belief","author":"Konolige","key":"10.1016\/S1874-5857(06)80028-2_bib62"},{"key":"10.1016\/S1874-5857(06)80028-2_bib63","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","article-title":"Knowledge, belief and time","volume":"58","author":"Kraus","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80028-2_bib64","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib65","series-title":"Meaning and Use","first-page":"239","article-title":"A puzzle about belief","author":"Kripke","year":"1979"},{"year":"1980","series-title":"Naming and Necessity","author":"Kripke","key":"10.1016\/S1874-5857(06)80028-2_bib66"},{"key":"10.1016\/S1874-5857(06)80028-2_bib67","series-title":"Les langages, le sens et l'histoire (Colloque international de l'Universit\u00e9 de Lille III, 1972)","first-page":"241","article-title":"Le formalisme et le sens","author":"Ladri\u00e9re","year":"1975"},{"key":"10.1016\/S1874-5857(06)80028-2_bib68","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks and the ordering of events in a distributed system","volume":"21","author":"Lamport","year":"1978","journal-title":"Comm. of the ACM"},{"key":"10.1016\/S1874-5857(06)80028-2_bib69","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5840\/gps197624","article-title":"Knowledge, belief, existence, and quantifiers - a note on Hintikka","volume":"2","author":"Lenzen","year":"1976","journal-title":"Grazer Philosophische Studien"},{"key":"10.1016\/S1874-5857(06)80028-2_bib70","first-page":"5","article-title":"Recent work in epistemic logic","volume":"30","author":"Lenzen","year":"1978","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1874-5857(06)80028-2_bib71","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00205012","article-title":"Epistemologische Betractungen zu [S4,S5]","volume":"14","author":"Lenzen","year":"1979","journal-title":"Erkenntnis"},{"year":"1980","series-title":"Glauben, Wissen und Wahrschcinlichkeit. Systeme der epistemische Logik","author":"Lenzen","key":"10.1016\/S1874-5857(06)80028-2_bib72"},{"year":"2000","series-title":"Logique partielle et savoir. Essai de philosophic formelle","author":"Lepage","key":"10.1016\/S1874-5857(06)80028-2_bib73"},{"key":"10.1016\/S1874-5857(06)80028-2_bib74","series-title":"Proceedings of the national conference on artificial intelligence","first-page":"198","article-title":"A logic of implicit and explicit beliefs","author":"Levesque","year":"1984"},{"year":"1996","series-title":"For the Sake of the Argument","author":"Levi","key":"10.1016\/S1874-5857(06)80028-2_bib75"},{"key":"10.1016\/S1874-5857(06)80028-2_bib76","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005577906029","article-title":"Unlimited dynamic doxastic logic for introspective agents","volume":"50","author":"Lindstr\u00f6m","year":"1999","journal-title":"Erkenntnis"},{"key":"10.1016\/S1874-5857(06)80028-2_bib77","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(94)90111-2","article-title":"A non-minimal but very weak axiomatization of common belief","volume":"70","author":"Lismont","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(06)80028-2_bib78","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01079206","article-title":"On the logic of common belief and common knowledge","volume":"37","author":"Lismont","year":"1994","journal-title":"Theory and Decision"},{"article-title":"Knowledge Sharing among Ideal Agents","year":"1999","author":"Lomuscio","key":"10.1016\/S1874-5857(06)80028-2_bib79"},{"key":"10.1016\/S1874-5857(06)80028-2_bib80","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","article-title":"A functional calculus of first order based on strict implication","volume":"11","author":"Marcus","year":"1946","journal-title":"The Journal of Symbolic Logic"},{"year":"1993","series-title":"Modalities. Philosophical Essays","author":"Marcus","key":"10.1016\/S1874-5857(06)80028-2_bib81"},{"key":"10.1016\/S1874-5857(06)80028-2_bib82","doi-asserted-by":"crossref","first-page":"462","DOI":"10.2307\/2026276","article-title":"A counterexample to modus ponens","volume":"82","author":"McGee","year":"1985","journal-title":"Journal of Philosophy"},{"year":"1995","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","key":"10.1016\/S1874-5857(06)80028-2_bib83"},{"year":"1912","series-title":"Ethics","author":"Moore","key":"10.1016\/S1874-5857(06)80028-2_bib84"},{"year":"1995","series-title":"Logic and Representation","author":"Moore","key":"10.1016\/S1874-5857(06)80028-2_bib85"},{"article-title":"Dynamic epistemic logic","year":"2002","author":"Moss","key":"10.1016\/S1874-5857(06)80028-2_bib86"},{"year":"1993","series-title":"Logic for Applications","author":"Nerode","key":"10.1016\/S1874-5857(06)80028-2_bib87"},{"key":"10.1016\/S1874-5857(06)80028-2_bib88","series-title":"Circularity,Definition and Truth","first-page":"273","article-title":"Belief revision and the alethic paradoxes","author":"Orilia","year":"2000"},{"key":"10.1016\/S1874-5857(06)80028-2_bib89","first-page":"381","article-title":"Propositions, propositional attitudes and belief revision","volume":"Vol. 2","author":"Parikh","year":"2001"},{"journal-title":"Technical report","year":"2003","author":"Pietarinen","key":"10.1016\/S1874-5857(06)80028-2_bib90"},{"year":"1953-1961","series-title":"From a Logical Point of View","author":"Van Orman Quine","key":"10.1016\/S1874-5857(06)80028-2_bib91"},{"year":"1981","series-title":"Theories and Things","author":"Van Orman Quine","key":"10.1016\/S1874-5857(06)80028-2_bib92"},{"year":"1988","series-title":"Formal Methods in Artificial Intelligence","author":"Ramsay","key":"10.1016\/S1874-5857(06)80028-2_bib93"},{"year":"1947","series-title":"Elements of Symbolic Logic","author":"Reichenbach","key":"10.1016\/S1874-5857(06)80028-2_bib94"},{"year":"1997","series-title":"Introduction des Traducteurs (See Carnap, Signification et Necessite)","author":"Rivenc","key":"10.1016\/S1874-5857(06)80028-2_bib95"},{"key":"10.1016\/S1874-5857(06)80028-2_bib96","series-title":"The Encyclopedia of Philosophy","first-page":"314","article-title":"Plato","author":"Ryle","year":"1967"},{"key":"10.1016\/S1874-5857(06)80028-2_bib97","series-title":"Proceedings of the the Third Scandinavian Logic Symposium. Uppsala 1973","article-title":"Completeness and correspondence in the first and second order semantics for modal logic","author":"Sahlqvist","year":"1975"},{"key":"10.1016\/S1874-5857(06)80028-2_bib98","series-title":"Philosophical Problems in Logic","first-page":"143","article-title":"Advice on modal logic","author":"Scott","year":"1970"},{"key":"10.1016\/S1874-5857(06)80028-2_bib99","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","article-title":"Belief revision from the point of view of doxastic logic","volume":"3","author":"Segerberg","year":"1995","journal-title":"Bulletin of the IGPL"},{"key":"10.1016\/S1874-5857(06)80028-2_bib100","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/FI-1997-32206","article-title":"Proposal for a theory of belief revision along the lines of lindstr\u00f6m and rabinowicz","volume":"32","author":"Segerberg","year":"1997","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(06)80028-2_bib101","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1305\/ndjfl\/1039182247","article-title":"Irrevocable belief revision in dynamic doxastic logic","volume":"39","author":"Segerberg","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80028-2_bib102","series-title":"Logic, Language and Reasoning. Essays in Honour of Dov Gabbay","first-page":"117","article-title":"Two traditions in the logic of belief: Bringing them together","author":"Segerberg","year":"1999"},{"key":"10.1016\/S1874-5857(06)80028-2_bib103","series-title":"Frontiers in Belief Revision","first-page":"57","article-title":"The basic dynamic doxastic logic of AGM","author":"Segerberg","year":"2001"},{"article-title":"R\u00e9solution d'un paradoxe en logique de croyance et de connaissance","year":"1998","author":"Simon","key":"10.1016\/S1874-5857(06)80028-2_bib104"},{"year":"1994","series-title":"Intensional Logic","author":"Slater","key":"10.1016\/S1874-5857(06)80028-2_bib105"},{"article-title":"Complexity of Modal Logics","year":"1993","author":"Spaan","key":"10.1016\/S1874-5857(06)80028-2_bib106"},{"key":"10.1016\/S1874-5857(06)80028-2_bib107","series-title":"Diamonds and Defaults","first-page":"239","article-title":"The complexity of propositional tense logics","author":"Spaan","year":"1993"},{"key":"10.1016\/S1874-5857(06)80028-2_bib108","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s001990100201","article-title":"Common knowledge and quantification","volume":"19","author":"Sturm","year":"2002","journal-title":"Economic Theory"},{"key":"10.1016\/S1874-5857(06)80028-2_bib109","first-page":"401","article-title":"Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics","volume":"volume 2","author":"Tanaka","year":"2001"},{"key":"10.1016\/S1874-5857(06)80028-2_bib110_1","first-page":"52","article-title":"The semantic conception of truth","author":"Tarski","year":"1949"},{"key":"10.1016\/S1874-5857(06)80028-2_bib110_2","first-page":"52","article-title":"The semantic conception of truth","volume":"vol. 6","author":"Tarski","year":"1994"},{"year":"1989","series-title":"From Modal Logic to Deductive Databases","key":"10.1016\/S1874-5857(06)80028-2_bib111"},{"key":"10.1016\/S1874-5857(06)80028-2_bib112_1","series-title":"Logique et Analyse","first-page":"133","article-title":"Logics of consciousness explained and compared: Partial approaches to actual belief","author":"Thijsse","year":"1991"},{"first-page":"221","year":"1991","series-title":"Num\u00e9ro sp\u00e9cial International Symposium on Epistemic Logic","key":"10.1016\/S1874-5857(06)80028-2_bib112_2"},{"article-title":"Partial Logic and Knowledge Representation","year":"1992","author":"Thijsse","key":"10.1016\/S1874-5857(06)80028-2_bib113"},{"year":"1962","series-title":"Being, Negation and Logic","author":"Toms","key":"10.1016\/S1874-5857(06)80028-2_bib114"},{"article-title":"Modal Correspondance Theory","year":"1976","author":"van Benthem","key":"10.1016\/S1874-5857(06)80028-2_bib115"},{"year":"1983","series-title":"Modal Logic and Classical Logic","author":"van Benthem","key":"10.1016\/S1874-5857(06)80028-2_bib116"},{"year":"1991","series-title":"Languages in Action","author":"van Benthem","key":"10.1016\/S1874-5857(06)80028-2_bib117"},{"key":"10.1016\/S1874-5857(06)80028-2_bib118","first-page":"177","article-title":"Possible logics for belief","volume":"127-128","author":"van der Hoek","year":"1989","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(06)80028-2_bib119","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1018967130652","article-title":"Persistence and minimality in epistemic logic","volume":"27","author":"van der Hoek","year":"1999","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1874-5857(06)80028-2_bib120","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/logcom\/3.2.173","article-title":"Systems for knowledge and belief","volume":"3","author":"van der Hoek","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(06)80028-2_bib121","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1023\/A:1015590229647","article-title":"Descriptions of game actions","volume":"11","author":"van Ditmarsch","year":"2002","journal-title":"Jl. of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80028-2_bib122","series-title":"Knowledge and Belief in Philosophy and Artificial Intelligence","first-page":"103","article-title":"Actions that make you change your mind","author":"van Linder","year":"1995"},{"key":"10.1016\/S1874-5857(06)80028-2_bib123","first-page":"221","article-title":"Defaults in update semantics","volume":"26","author":"Veltman","year":"1996","journal-title":"Journal of Philosophical Logic"},{"year":"2000","series-title":"Labelled Non-Classical Logics","author":"Vigan\u00f2","key":"10.1016\/S1874-5857(06)80028-2_bib124"},{"key":"10.1016\/S1874-5857(06)80028-2_bib125","first-page":"214","article-title":"Generalized Kripke models for epistemic logic","author":"Voorbraak","year":"1992"},{"article-title":"As Far as I Know. Epistemic Logic and Uncertainty","year":"1993","author":"Voorbraak","key":"10.1016\/S1874-5857(06)80028-2_bib126"},{"key":"10.1016\/S1874-5857(06)80028-2_bib127","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1023\/A:1005565603303","article-title":"Resource-bounded belief revision","volume":"50","author":"Wassermann","year":"1999","journal-title":"Erkenntnis"},{"article-title":"Resource-Bounded Belief Revision","year":"2000","author":"Wassermann","key":"10.1016\/S1874-5857(06)80028-2_bib128"},{"key":"10.1016\/S1874-5857(06)80028-2_bib129","series-title":"Frontiers in Belief Revision","first-page":"349","article-title":"On structured belief bases","author":"Wassermann","year":"2001"},{"year":"2000","series-title":"Knowledge and its Limits","author":"Williamson","key":"10.1016\/S1874-5857(06)80028-2_bib130"},{"key":"10.1016\/S1874-5857(06)80028-2_bib131","series-title":"Proceedings of the 8th conference TARK 2001","first-page":"97","article-title":"Some philosophical aspects of reasoning about knowledge","author":"Williamson","year":"2001"},{"key":"10.1016\/S1874-5857(06)80028-2_bib132","first-page":"115","article-title":"Two logics of occurrent belief","volume":"18","author":"Wi\u015bniewski","year":"1998","journal-title":"Acta Universitatis Wratislaviensis No 2023"},{"key":"10.1016\/S1874-5857(06)80028-2_bib133","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1005271815356","article-title":"Fragments of first-order common knowledge logics","volume":"65","author":"Wolter","year":"2000","journal-title":"Studia logica"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T22:34:43Z","timestamp":1737412483000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444516220"],"references-count":137,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80028-2","relation":{},"ISSN":["1874-5857"],"issn-type":[{"type":"print","value":"1874-5857"}],"subject":[],"published":{"date-parts":[[2006]]}}}