This paper concerns some connections between paraconsistent logics, modal logics (mainly **S5**), and Ambiguity Logic **AL** (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present). **S5** may be defined from **AL**.

Three kinds of connections are illustrated. First, a paraconsistent logic **A** is presented that has the same expressive power as **S5**. Next, I consider the definition of paraconsistent logics from **S5** and **AL**. Such definition is shown to work for some logics, for example Priest{\textquoteright}s **LP**. Other paraconsistent logics appear to withstand such definition, typically those that contain a detachable material implication. Finally, I show that some paraconsistent logics and inconsistency-adaptive logics serve exactly the same purpose as some modal logics and ampliative adaptive logics based on **S5**. However, they serve this purpose along very different roads and the logics cannot be defined from one another.

The paper intends to open lines of research rather than pursuing them to the end. It also contains a poor person{\textquoteright}s semantics for **S5** as well as a description of the simple but useful and powerful **AL**.