QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
From MaRDI portal
Publication:3580684
DOI10.1017/S1755020308090072zbMath1205.03016MaRDI QIDQ3580684
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Unnamed Item, Implicit Knowledge in Unawareness Structures - Extended Abstract -, Maintaining awareness using policies; Enabling agents to identify relevance of information, Equivalence of the information structure with unawareness to the logic of awareness, Does exposure to unawareness affect risk preferences? A preliminary result, Unawareness of theorems, Reprint of: Reasoning about knowledge of unawareness revisited, Unawareness with ``possible possible worlds, Preference-based unawareness, Extensive games with possibly unaware players, Modal-epistemic arithmetic and the problem of quantifying in, A methodology to develop awareness in computer supported collaborative work using policies, Hyperintensional logics for everyone, NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Alternative semantics for unawareness
- Quantified modal logic: non-normal worlds and propositional attitudes
- A logical framework for convention
- Interactive unawareness
- First-order classical modal logic
- Belief, awareness, and limited reasoning
- Urn models: A new kind of non-standard model for first-order logic
- Impossible possible worlds vindicated
- Unawareness and partitional information structures
- First order extensions of classical systems of modal logic. The role of the Barcan schemas
- A general possible worlds framework for reasoning about knowledge and belief
- Social software
- Interactive unawareness revisited
- Decision Theory without Logical Omniscience: Toward an Axiomatic Framework for Bounded Rationality
- A Modal Logic for Coalitional Power in Games
- Standard State-Space Models Preclude Unawareness