TY - JOUR AU - Fernando, Tim PY - 2016/04/13 Y2 - 2024/03/29 TI - On regular languages over power sets JF - Journal of Language Modelling JA - JLM VL - 4 IS - 1 SE - Articles DO - 10.15398/jlm.v4i1.103 UR - https://jlm.ipipan.waw.pl/index.php/JLM/article/view/103 SP - 29–56 AB - <p>The power set of a finite set is used as the alphabet of a<br />string interpreting a sentence of Monadic Second-Order Logic so that<br />the string can be reduced (in a straightforward way) to the symbols<br />occurring in the sentence. Simple extensions to regular expressions<br />are described matching the succinctness of Monadic Second-Order<br />Logic. A link to Goguen and Burstall’s notion of an institution is<br />forged, and applied to conceptions within natural language semantics<br />of time based on change.</p> ER -