QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS

DOI10.1017/S1755020308090072zbMath1205.03016MaRDI QIDQ3580684

Giacomo Sillari

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

neighborhood semanticsawarenesslogical omniscienceimpossible worldsMontague-Scott semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (14)

Maintaining awareness using policies; Enabling agents to identify relevance of information ⋮ Unawareness of theorems ⋮ Implicit Knowledge in Unawareness Structures - Extended Abstract - ⋮ Hyperintensional logics for everyone ⋮ Does exposure to unawareness affect risk preferences? A preliminary result ⋮ Unnamed Item ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ A methodology to develop awareness in computer supported collaborative work using policies ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ Unawareness with ``possible possible worlds ⋮ Preference-based unawareness ⋮ Extensive games with possibly unaware players ⋮ Equivalence of the information structure with unawareness to the logic of awareness ⋮ 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

This page was built for publication: QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS