logo


  • NEWS
  • PAPERS
  • TALKS
  • WORKSHOP
  • ABOUT
  • RESEARCH GROUP


Papers

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

Formal reasoning and semantics
UIP-05-2017-9219


Sveučilište u Zaqrebu
Sveučilište u Zaqrebu

FORMALS UIP-05-2017-9219
UFZG - 2017 Marko Gregurić