[finite-model-theory] Paraconsistent Newsletter Summer-Winter 2023