- Luís Soares Barbosa. Coalgebra for the working software engineer. FLAP, 9(1):41-92, 2022.
- Edward Hermann Haeusler. ⊃. FLAP, 9(1):287-326, 2022.
- Samuel G. Da Silva. The generalized continuum hypothesis and two parametrized families of hit-and-miss games. FLAP, 9(1):161-174, 2022.
- Wagner Sanz. Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. FLAP, 9(1):541-572, 2022.
- Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana. The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface. FLAP, 9(1):1-4, 2022.
- Vaston Conçalves da Costa, Edward Hermann Haeusler. Strong normalization for Np-systems via Mimp-graphs. FLAP, 9(1):135-160, 2022.
- Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano. ∞-rings and applications. FLAP, 9(1):93-134, 2022.
- Cezar A. Mortari. Some classical modal logics with a necessity/impossibility operator. FLAP, 9(1):495-522, 2022.
- Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano. Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. FLAP, 9(1):445-494, 2022.
- Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano. Horn-geometric axioms for faithfully quadratic rings. FLAP, 9(1):405-418, 2022.