| Kristina Asimi, L. Barto, S. Butti | Fixed-Template Promise Model Checking Problems |
| Vedran Čačić, Marko Horvat, Z. Iljazović | Various notions of computability of subsets of topological and metric spaces (1) |
| | Various notions of computability of subsets of topological and metric spaces (2) |
| Šejla Dautović, D. Doder, Z. Ognjanović | Probabilistic-Temporal Logic with Actions |
| Sebastijan Horvat, T. Perkov, M. Vuković | A good method of transforming Veltman into Verbrugge models |
| Angelina Ilić Stepić, Z. Ognjanović, A. Perović | The logic ILP for intuitionistic reasoning about probability |
| Simona Kašterović, S. Ghilezan | Probabilistic Reasoning about Typed Combinatory Logic |
| Dorel Lucanu | Capturing Term Algebra Computations in Matching Logic |
| Jieting Luo, M. Dastani, T. Studer | Emotion-based Norm Identication |
| Vivek Nigam | Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT |
| Ruy J. Guerra B. de Queiroz | Connections between Logic and Geometry via Term Rewriting |
| Andre Scedrov | The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities: Undecidability and Decidable Fragments |
| Tamara Stefanović, S. Ghilezan, S. Kašterović | Crypto-Covid Privacy challenges in BlockChain and Contact Tracing |
| Zvonimir Šikić | A note on countable additivity |
| Carolyn Talcott | Modeling Complex Systems in Rewriting Logic |
| Dmitriy Zhuk | On the complexity of the Quantified Constraint Satisfaction Problem |