ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY

DOI10.1017/S1755020323000308arXiv1910.07275OpenAlexW3204208235MaRDI QIDQ6131228FDOQ6131228

Authors: Evan Piermont 

Publication date: 4 April 2024

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

Abstract: This paper puts forth a class of algebraic structures, relativized Boolean algebras (RBAs), that provide semantics for propositional logic in which truth/validity is only defined relative to a local domain. In particular, the join of an event and its complement need not be the top element. Nonetheless, behavior is locally governed by the laws of propositional logic. By further endowing these structures with operators -- akin to the theory of modal Algebras -- RBAs serve as models of modal logics in which truth is relative. In particular, modal RBAs provide semantics for various well known awareness logics and an alternative view of possibility semantics.

Full work available at URL: https://arxiv.org/abs/1910.07275

zbMATH Keywords

awareness logicsawareness framesrelativized Boolean algebras

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Abstract algebraic logic (03G27) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• The logic of paradox
• Belief, awareness, and limited reasoning
• Algebraic semantics for modal logics I
• Information structures with unawareness
• Unawareness and partitional information structures
• Awareness and partitional information structures
• Interactive unawareness revisited
• A canonical model for interactive unawareness
• Standard State-Space Models Preclude Unawareness
• Interactive unawareness
• Reasoning about knowledge of unawareness
• Reasoning about knowledge of unawareness revisited
• The concept of quasi-truth
• Some Limits of Boolean Algebras
• From worlds to possibilities
• A bimodal perspective on possibility semantics
• On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus
• Validity in Simple Partial Logic

This page was built for publication: ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY

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