A logical semantic treatment of questions and answers, keeping in mind the broader objective that the analysis will be used in a pragmatic theory of dialogues between several participants who assert propositions, ask questions and answer them. M. develops a fully typed modal language, containing both assertoric and interrogative sentences.