Ulteriori informazioni
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.
Sommario
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.
Riassunto
The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.
