TL;DR: The Logical Form of Action Sentences (LFIAS) as mentioned in this paper is a formal form of action sentences that can be expressed as follows: 1. ACTIONS, REASONS, and CAUSES.
Abstract: 1. ACTIONS, REASONS, AND CAUSES (1963) 6. THE LOGICAL FORM OF ACTION SENTENCES (1967) 11. MENTAL EVENTS (1970)
TL;DR: John Searle presents the first formalised logic of a general theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutions.
Abstract: This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts (1969), Expression and Meaning (1979) and Intentionality (1983). In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic.
TL;DR: The semantics of DRT is studied as a model for logical forms for discourse interpretation and some proofs in the glue logic are shown.
Abstract: Preface Acknowledgements 1 Motivations 2 Semantic models of discourse interpretation 3 Pragmatic models of discourse interpretation 4 The logical form of discourse 5 Building logical forms for discourse 6 The lexicon and discourse structure 7 Discourse relations for dialogue 8 Disputes in dialogue 9 Cognitive modelling 10 Some concluding remarks: A Objections and replies B Notation index C The semantics of DRT D Glossary of discourse relations E Summary of discourse update F Some proofs in the glue logic References Indexes