This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
The present paper proposes a method by which to translate outputs of a robust HPSG parser into semantic representations of Typed Dynamic Logic (TDL), a dynamic plural semantics de...
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
This paper analyses the control of nonlinear plant with the changing dynamics. Adaptive controllers, based on fuzzy logics, are synthesized for the control of air pressure and wate...