This paper presents a labelled tableau approach for deciding interrogative-epistemic logics (IEL). Tableau calculi for these logics have been derived using a recently introduced tableau synthesis method. We also consider an extension of the framework for a setting with questioning modalities over sequences of formulae called sequential questioning logic (SQL). We have implemented the calculi us...

Client authentication has been a continuous source of problems on the Web. Although many well-studied techniques exist for authentication, Web sites continue to use extremely weak authentication schemes, especially in non-enterprise environments such as store fronts. These weaknesses often result from careless use of authenticators within Web cookies. Of the twenty-seven sites we investigated, ...

This study examines interrogative sentences in the novel 33 Senja di Halmahera. The aims of this research are (1) to describe types and (2) function Halmahera novel. Data collection methods techniques used listening method with tapping techniques, follow-up Listen, Free, Involved, Cakap (SBLC) advanced note-taking techniques. data analysis agih basic technique for Direct Elements (BUL) transfor...

My study deals with the imperative sentence in poetry of al-Akhras, a grammatical study. The is composition structures Arabic construction sentence, and as much its types significance varies from one to another, command appeal question, it prohibition. research aims present al-Akhras benefiting rules grammarians set poetic evidence for different styles that I found his poetry.
 Keywords: a...

Data and Previous Literature: Elliott (1971) points out that DPs introduced by emotive factive predicates (cf. (1)) have exclamative interpretations. Grimshaw (1979) establishes a parallelism between DPs that are introduced by predicates that also take interrogative clauses (Concealed Questions CQs, (2)) and DPs that are introduced by predicates that also take exclamative clauses (cf. (2b)); sh...

The paper addresses the problem of the intonation of interrogative sentences with the "yes-no"question word “czy..”. The final aim of the analysis is to modify a diphone synthesis program for man-machine dialogue in Polish, which is to be applied in vocal servers. Thus the task requires determining all of the prosodic cues accompanying this kind of sentences and selecting those which allow such...