3 papers
cs.LO2026
A Semantics for Belief in Simplicial Complexes
Adam Bjorndahl, Philip Sink
We provide novel semantics for belief using simplicial complexes. In our framework, belief is a KD45 modality that satisfies "knowledge implies belief" ("If you know phi, then you…
cs.LO2025
A Note on Proper Relational Structures
Adam Bjorndahl, Philip Sink
In this note we provide an algorithm for translating relational structures into "proper" relational structures, i.e., those such that there is no pair of worlds w and u such that w…
cs.LO2025
A Logic of Uncertain Interpretation
Adam Bjorndahl
We introduce a logical framework for reasoning about "uncertain interpretations" and investigate two key applications: a new semantics for implication capturing a kind of "meaning…