QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS

DOI10.1017/S1755020308090072MaRDI QIDQ3580684zbMATH OpenFDO

Authors Giacomo Sillari

Publication date 13 August 2010

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

Full work available at URL https://doi.org/10.1017/S1755020308090072

zbMATH Keywords

awarenessimpossible worldslogical omniscienceMontague-Scott semanticsneighborhood semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3963780
• Impossible worlds and logical omniscience: an impossibility result
• scientific article; zbMATH DE number 549983
• Impossible worlds and the logic of imagination
• The ontology of impossible worlds
• Beyond consistent and complete possible worlds
• A Carnapian Logic of Conceivability
• scientific article; zbMATH DE number 589750
• The logic of impossible quantities
• Existence and consequences. Logical conceptions of quantification and predication

Cites work

• A general possible worlds framework for reasoning about knowledge and belief
• A logical framework for convention
• A Modal Logic for Coalitional Power in Games
• Alternative semantics for unawareness
• Belief, awareness, and limited reasoning
• Decision Theory without Logical Omniscience: Toward an Axiomatic Framework for Bounded Rationality
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• First-order classical modal logic
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Impossible possible worlds vindicated
• Interactive unawareness
• Interactive unawareness revisited
• Models of awareness
• Quantified modal logic: non-normal worlds and propositional attitudes
• Social software
• Standard State-Space Models Preclude Unawareness
• Unawareness and partitional information structures
• Urn models: A new kind of non-standard model for first-order logic

Cited in

(22)

• 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
• Impossible worlds and logical omniscience: an impossibility result
• A methodology to develop awareness in computer supported collaborative work using policies
• Hyperintensional logics for everyone
• scientific article; zbMATH DE number 3882406 (Why is no real title available?)
• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
• Maintaining awareness using policies; Enabling agents to identify relevance of information
• scientific article; zbMATH DE number 1292305 (Why is no real title available?)
• Standard state space models of unawareness (extended abstract)
• Dealing with logical omniscience: expressiveness and pragmatics
• Implicit Knowledge in Unawareness Structures - Extended Abstract -
• AU introspection and symmetry under non-trivial unawareness
• Implicit knowledge in unawareness structures
• Equivalence of the information structure with unawareness to the logic of awareness
• Mission impossible
• A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580684)