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 |