Paper

Epistemic Semantics in Guarded String Models

Authors
  • 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

120 Views

38 Downloads

Published on
01 Jan 2021