T. Perkov, L. Mikec: Tableau-based translation from first-order logic to modal logic, Reports on Mathematical Logic 56 (2021) 57-74
T. Ban Kirigin, S. Bujačić Babić, B. Perak: Lexical sense labeling and sentiment potential analysis using corpus-based dependency graph, Mathematics 9(12) 1449 (2021) 1-22
T. Perkov: A note on logicality of generalized quantifiers, Logica Universalis 15 (2021) 149-152
A. A. Urquiza, M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Resource and timing aspects of security protocols, Journal of Computer Security 29 (2021) 299-340
M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity, Proceedings of the 7th International Conference on Information Systems Security and Privacy – ICISSP, SciTePress Digital Library (2021) 43-54
L. Mikec, M. Vuković: Interpretability logics and generalised Veltman semantics, The Journal of Symbolic Logic 85 (2020) 749-772
T. Perkov, L. Mikec: Existential definability of modal frame classes, Mathematical Logic Quarterly 66 (2020) 316-325
B. Perak, T. Ban Kirigin: Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling, Rasprave: Časopis Instituta za hrvatski jezik i jezikoslovlje 46 (2020) 493-532
T. Ban Kirigin, B. Perak: There’s No Time, The Problem of Conceptualising Time, in: V. Nigam et al. (eds.): Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Springer (2020) 61-68
A. Urquiza, M. AlTurki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Resource-Bounded Intruders in Denial of Service Attacks, 2019 IEEE 32nd Computer Security Foundations Symposium CSF 2019 Proceedings, IEEE Xplore Digital Library (2019) 382-396
M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols, in: J. D. Guttman et al. (eds.): Foundations of Security, Protocols, and Equational Reasoning. Essays Dedicated to Catherine A. Meadows, Springer (2019) 192-213
L. Mikec, F. Pakhomov, M. Vuković: Complexity of the interpretability logic IL, Logic Journal of the IGPL 27 (2019) 1-7
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
Talks
T. Adlešić, V. Čačić: Alternative axiomatization of NFU, Logic and Applications (LAP 2022), Dubrovnik, 26-29 September 2022
M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Properties of time-sensitive distributed systems: verification and complexity, Logic and Applications (LAP 2022), Dubrovnik, 26-29 September 2022
S. Horvat, T. Perkov, M. Vuković: A good method of transforming Veltman into Verbrugge models, Logic and Applications (LAP 2022), Dubrovnik, 26-29 September 2022
T. Adlešić, V. Čačić: Tarski’s theorem about choice and the alternative axiomatic extension of NFU, Logic Colloquium, Reykjavik, Island, 27 June – 1 July 2022
S. Horvat, T. Perkov, M. Vuković: A new notion of bisimulations of Verbrugge semantics, 7th Croatian Mathematical Congress, Split, 15-18 June 2022
T. Perkov: Hennessy-Milner theorem for bisimulations between Veltman models and Verbrugge models, 7th Croatian Mathematical Congress, Split, 15-18 June 2022
S. Horvat: Bisimulations for generalised Veltman semantics, 6th Faculty of Science PhD Student Simposium (PhDSS 2022), Zagreb, 23-24 April 2022
T. Perkov: Bisimulations between Veltman models and generalized Veltman models, Logic4Peace, online, 22-23 April 2022
A. Hatzivelkos: Total optimization of the divergence from the compromise, 2022 Meeting of the European Public Choice Society (EPCS 2022), Braga, 11-14 April 2022
T. Adlešić: A modern rigorous approach to stratification in NF/NFU, 7th World Congress and School on Universal Logic (UNILOG 2022), Orthodox Academy of Crete, 1-11 April 2022
B. Perak, T. Ban Kirigin: Dependency-based labeling of associative lexical communities, Central European Conference on Information and Intelligent Systems (CECIIS 2021), online, 13-15 October 2021
T. Adlešić, V. Čačić: Formal approach to stratification in NF/NFU, Logic and Applications (LAP 2021), Dubrovnik, 20-24 September 2021
M. A. AlTurki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Periodic systems: safety, security, and complexity, Logic and Applications (LAP 2021), Dubrovnik, 20-24 September 2021
S. Horvat, T. Perkov, M. Vuković: n-bisimulations for generalised Veltman semantics, Logic and Applications (LAP 2021), Dubrovnik, 20-24 September 2021
B. Perak, J. Čulig Suknaić: In search of the beauty and the beast. Antonymy in syntactic constructions, 35th International Conference of Croatian Applied Linguistic Society – Language in the Digital Environment (HDPL 2021), Osijek, 9-11 September 2021
T. Perkov: Logical constants in abstract frameworks, Logica Universalis Webinar (LUW), 18 August 2021
A. Hatzivelkos: Axiomatic approach to the notion of compromise, International Conference on Group Decision and Negotiation (GDN 2021), online, 6-10 June 2021
M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity, International Conference on Information Systems Security and Privacy (ICISSP 2021), online, 11-13 February 2021
A. A. Urquiza, M. A. Al Turki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Modelling resource and timing aspects of security protocols, Logic and Applications (LAP 2020), Dubrovnik, 21-25 September 2020
L. Mikec, J. J. Joosten, M. Vuković: A W-flavoured series of interpretability principles, Advances in Modal Logic (AiML 2020), Helsinki (online), 24-28 August 2020
L. Mikec: Syntax, semantics and labellings for interpretability logic, Seminar on Proof Theory and Foundations of Mathematics, Barcelona, 28 February 2020
B. Perak: Modelling the semantic relations within texts using the UD NLP tools for syntactic parsing, Neo4j graph database for storing and Igraph for network analysis, Graph Technologies in the Digital Humanities 2020, Vienna, 21-22 February 2020
L. Mikec: Complexity of interpretability logics, Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019), Barcelona, 5-8 November 2019
A. Hatzivelkos, B. Stojanović: Minimization of the d-measure of divergence from the compromise, Logic and Applications (LAP 2019), Dubrovnik, 23-27 September 2019
T. Perkov: Tableau-based translation from first-order logic to modal logic, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, 3-5 September 2019
B. Perak: Croatian parliamentary debates network analysis of the conceptualized emotion categories, Words as a Battlefield (WAB 2019), Maribor, 5-6 April 2019
B. Perak: Extracting emotion constructions from linguistic corpora, Between Past and Present – Interdisciplinary Perspectives on Emotions, Zagreb, 18-19 October 2018
L. Mikec, T. Perkov: Existentially valid formulas corresponding to some normal modal logics, Advances in Modal Logic (AiML 2018), Bern, 27-31 August 2018
T. Perkov: Logicality of generalized quantifiers, Quantity in Language and Thought, ESSLLI 2018 workshop, Sofia, 13-17 August 2018
M. A. Al Turki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical model checking of guessing and timing attacks on distance-bounding protocols, Workshop on Foundations of Computer Security (FCS 2018), Oxford, 8 July 2018
Workshops
FORMALS 2022
The 5th and final workshop Formal Reasoning and Semantics (FORMALS 2022) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 11th conference Logic and Applications (LAP 2022) 26-29 September 2022.
Talks
V. Nigam: Automating safety proofs about cyber-physical systems using rewriting modulo SMT
T. Ban Kirigin, S. Bujačić Babić, Benedikt Perak: Semi-local integration centrality for complex networks
T. Ban Kirigin, S. Bujačić Babić, Benedikt Perak: Syntactic dependency networks: cognitive aspects of hierarhical multi-layer structures
A. Hatzivelkos: On p-Disapproval voting characterization
L. Mikec: FORMALS contributions overview (2018–2022)
Y. Petrukhin: Cut-free hypersequent calculus for a non-contingency version of S5
Abstracts are available online.
FORMALS 2021
The 4th workshop Formal Reasoning and Semantics (FORMALS 2021) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021.
Talks
J. Raclavský – The rule of existential generalisation, its derivability and formal semantics
A. Hatzivelkos, M. Maretić – A note about disapproval voting
L. Mikec, J. J. Joosten, A. Visser, M. Vuković – On proving interpretability principles arithmetically sound
L. Conti – Abstraction’s Logicality and Invariance
Y. Petrukhin – Normalisation for some infectious logics with non-standard disjunction elimination rules
FORMALS 2020
The 3rd workshop Formal Reasoning and Semantics (FORMALS 2020) was held at the Inter-University Center Dubrovnik (IUC) and online as a part of the 9th conference Logic and Applications (LAP 2020) 21-25 September 2020.
Talks
L. Conti: A model for a free way out of Russell’s Paradox
A. Hatzivelkos: Axiomatic modelling of notion of compromise in social choice theory
S. Horvat: Smart labels in proofs of completeness of interpretability logics
S. Jelić (invited talk): Multi-valued logic in M-system theory
M. Maretić: A survey of online exam proctoring
L. Mikec, J. Joosten, M. Vuković: On ILWR-frames
V. Nigam (invited talk): Incremental automated safety and security reasoning with patterns
B. Perak, T. Ban Kirigin: ConGraCNet 0.3: Corpus-based graph syntactic-semantic relations analysis
Abstracts of all talks at the conference Logic and Applications (LAP 2020), including the workshop, are available online.
FORMALS 2019
The 2st workshop Formal Reasoning and Semantics took place at the Faculty of Teacher Education, University of Zagreb, 17-18 June 2019.
Talks
V. Nigam (invited talk): Symbolic timed trace equivalence [abstract]
L. Mikec, T. Perkov: Techniques and results concerning relationships between modal ∃-logics [abstract]
S. Horvat: GL1 is PSPACE-complete [abstract]
I. Kuzmanović Ivičić, J. Benić: On the relation of multi-valued logics and M-system theory [abstract]
B. Perak: Combining the conceptual analysis with social network analysis [abstract]
T. Ban Kirigin: Specifying and verifying timing aspects of security protocols [abstract]
FORMALS 2018
The 1st workshop Formal Reasoning and Semantics (FORMALS 2018) was held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018) 24-28 September 2018.
Talks
M. Maretić: On geometric aspects of multiple conclusion natural deductions
B. Perak, T. Ban Kirigin: Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators
A. Hatzivelkos: Mathematical model for notion of compromise in social choice theory
B. Stojanović: Propositional and first-order logic formalizations of social welfare functions
T. Perkov: Formalizations of social choice theory in modal logic
V. Nigam (invited talk): Towards the formal verification of Industry 4.0 applications
L. Mikec: Complexity of the interpretability logic IL
Tutorials
B. Perak: Ontology of the language communication and the structure of meaning
T. Perkov: Introduction to modal logic: a semantic approach
Abstracts
Abstracts of all talks at the conference Logic and Applications (LAP 2018) are available online, including the introduction to the workshop and abstracts of workshop talks (pp. 48-62). Slides are also available.
Other activities
T. Perkov: Modal logics of provability and interpretability (advanced course, 10 hours), Logic and Computation track of European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, 6-17 August 2018
B. Perak lead the panel Linguistic diversity, construal and conceptualization at the conference CLARC 2018 (Perspectives on Linguistic Diversity), Rijeka, 8-10 June 2018.
The paper T. Perkov: Abstract logical constants is awarded Georgius Benignus Logic Prize for 2017 by Croatian Logic Association, presented at 6th World Congress on Universal Logic (UNILOG 2018), Vichy, 16-26 June 2018 and published in the journal Logica Universalis.
L. Mikec implemented the procedure for tableau-based translation from first-order logic to modal logic. It is available here as of September 2019.
Research group
Tin Perkov
Tajana Ban Kirigin
Marcel Maretić
Benedikt Perak
Mandi Orlić Bachler
Luka Mikec
Nikolina Iris Filipović
Aleksandar Hatzivelkos
Branimir Stojanović
Sebastijan Horvat
Tin Adlešić
Stipe Marić
Teo Šestak