| Preface | |
| Introduction | |
| Agent and System | |
| Active Agenthood | |
| Multiple Active Agents | |
| Multi-Modalities | |
| Conclusion | |
| Notes | |
| References | |
| Knowledg,e 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 | |
| Introduction | |
| 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 | |
| Introduction | |
| 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 | |
| Introduction | |
| 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 Pierce 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 | |
| Index | |
| Table of Contents provided by Publisher. All Rights Reserved. |