L. Mikec, F. Pakhomov, M. Vuković: Complexity of the interpretability logic IL, Logic Journal of the IGPL (2018) online first
T. Perkov: Abstract logical constants, Logica Universalis 12 (2018) 341-350
A. Hatzivelkos: Borda and plurality comparison with regard to compromise as a Sorites paradox, Interdisciplinary Description of Complex Systems – INDECS 16 (2018) 465-484
M. A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC), ACM Digital Library (2018) 60-71