JavaScript is disabled for your browser. Some features of this site may not work without it.
Finite state intensional semantics

Author
Rooth, Mats
Abstract
The paper presents a computable formulation of Hintikka semantics for clausal complements and partition semantics for questions in a framework where worlds are strings, propositions are regular sets of worlds, and epistemic acquaintance relations and question meanings are regular relations between worlds. A logical language is defined in a finite state calculus with function definitions, where terms denote regular sets of strings, interpreted as propositions. An interface to English syntax uses an extended categorial grammar.
Date Issued
2017-10Subject
intensional, Kripke model, Hintikkay semantics, finite state, regular relation, regular set, categorial grammar, computational semantics