Epistemic Semantics in Guarded String Models
- Eric H Campbell (Cornell University)
- Mats Rooth (Cornell University)
Abstract
Constructive and computable multi-agent epistemic possible worlds models are interpreted as sets of guarded string models in an epistemic extension of Kleene Algebra with Tests (KAT}). The account is framed as a formal language EpiKAT (Epistemic KAT) for defining such models. The language is implemented by translation into the finite state calculus, and alternatively by modeling propositions as lazy lists in Haskell. The syntax-semantics interface for a fragment of English is defined by a categorial grammar.
Keywords: Epistemic Semantics, Intensional Semantics, Kleene Algebra
How to Cite:
Campbell, E. H. & Rooth, M., (2021) “Epistemic Semantics in Guarded String Models”, Society for Computation in Linguistics 4(1), 81-90. doi: https://doi.org/10.7275/w425-w393
Downloads:
Download PDF