An anthology that tracks the history of epistemic logic, considers some important applications of these logics of knowledge and belief in a variety of fields, and discusses directions of research with particular emphasis on 'active agenthood' and multi-modal systems.

Agent and System.- Active Agenthood.- Multiple Active Agents.- Multi-Modalities.- Conclusion.- Notes.- References.- Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic.- The Logic of Conviction.- The Logic of Knowledge.- The Logic of (‘Weak’) Belief.- The Pragmatics of Epistemic Sentences.- Notes.- References.- A Second Generation Epistemic Logic and Its General Significance.- The Prima Facie Conundrum of Epistemic Logic.- The Promises.- Promises Fulfilled by Means of the Notion of Independence.- References.- Economics and Economy in the Theory of Belief Revision.- What is Economics?.- Acting Economically, A Second View: “Informational Economy”.- Economic and Economical Considerations in Belief Revision Theory.- Informational Economy with Respect to Beliefs: What has been done?.- Informational Economy with Respect to Beliefs: What should be done?.- Conservatism with Respect to Belief-Revision Guiding Structures: What has been done?.- Conservatism with Respect to Belief-Revision Guiding Structures: What should be done?.- Rational Choices and Logical Properties: What has been done?.- Rational Choices and Logical Properties: What should be done?.- Conclusion.- Notes.- References.- Common Knowledge Revisited.- Two Puzzles.- Common Knowledge and Uncertainty.- Simultaneous Events.- Temporal Imprecision.- The Granularity of Time.- Approximations of Common Knowledge.- Summary.- Notes.- References.- Concurrent Dynamic Epistemic Logic.- Language and Semantics.- Proof System.- Completeness.- Applications.- Conclusions.- References.- Laws, Facts, and Contexts: Foundations of Multimodal Reasoning.- Replacing Possible Worlds with Contexts.- Dunn's Laws and Facts.- Contexts by Peirce and McCarthy.- Tarski's Metalevels.-Nested Graph Models.- Beyond Kripke Semantics.- The Intended Interpretation.- References.- Referential Semantics.- The General Idea of Referential Semantics.- Language.- Components of Referential Semantics.- Substitutions.- Some Notation.- The Definition Completed.- A Few Examples.- Four Principles of Logical Analysis.- Logical Consequences.- A Few Comments on the Peculiar Status of the Identity Predicate.- General Properties of Consequence Operations.- The Truth Preserving Consequence Operations.- The Problem of Adequacy.- Self-Extensional Consequence Operations.- Adequacy Theorem.- The Need for Referential Semantics.- Notes and References.- References.

Tracks the history of epistemic logic Considers some important applications of these logics of knowledge and belief in a variety of fields Discusses future directions of research with particular emphasis on 'active agenthood' and multi-modal systems Includes supplementary material: sn.pub/extras

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com