- Gabriele Pulcini, Achille C. Varzi. Complementary Proof Nets for Classical Logic. Logica Universalis, 17(4):411-432, December 2023.
- Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic. Probability Logics for Reasoning About Quantum Observations. Logica Universalis, 17(2):175-219, 2023.
- Alexei Y. Muravitsky. On Consequence and Rejection as Operators. Logica Universalis, 17(4):443-460, December 2023.
- Ekaterina Kubyshkina, Mattia Petrolo. Revising the Elenchus via Belief Revision. Logica Universalis, 17(2):231-258, 2023.
- Nathan Salmón. The Decision Problem for Effective Procedures. Logica Universalis, 17(2):161-174, 2023.
- Gennady Shtakser. Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness. Logica Universalis, 17(3):297-330, September 2023.
- Krzysztof A. Krawczyk, Bozena Pieta. Ultravaluations and their Applications in sfCPL. Logica Universalis, 17(3):259-267, September 2023.
- Hamzeh Mohammadi, Mojtaba Aghaei. Rooted Hypersequent Calculus for Modal Logic S5. Logica Universalis, 17(3):269-295, September 2023.
- Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic. Logica Universalis, 17(1):23-67, March 2023.
- Tomasz F. Skura. Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation. Logica Universalis, 17(4):433-441, December 2023.