{"id":207,"date":"2018-10-08T01:05:17","date_gmt":"2018-10-07T23:05:17","guid":{"rendered":"http:\/\/formals.ufzg.hr\/?page_id=207"},"modified":"2024-12-16T09:57:28","modified_gmt":"2024-12-16T08:57:28","slug":"formals-1","status":"publish","type":"page","link":"http:\/\/formals.ufzg.hr\/index.php\/formals-1\/","title":{"rendered":"FORMALS"},"content":{"rendered":"
\n

Formal reasoning and semantics (FORMALS) was a research project funded by Croatian Science Foundation<\/a> (HRZZ), grant UIP-2017-05-9219, for a period of 5 years, starting from December 1st, 2017.<\/p>\n

Papers<\/h4>\n

S. Horvat<\/strong>, T. Perkov<\/strong>, M. Vukovi\u0107: Bisimulations and bisimulation games between Verbrugge models<\/span><\/a>, Mathematical Logic Quarterly<\/em><\/a> 69 (2023) 231-243
\n<\/span><\/p>\n

B. Perak, T. Ban Kirigin<\/strong>: Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis<\/a>, Natural Language Engineering<\/em><\/a> 29 (2023) 584-614<\/p>\n

L. Mikec<\/strong>: Complexity of the interpretability logics ILW and ILP<\/a>, Logic Journal of the IGPL<\/em><\/a> 31 (2023) 194-213<\/p>\n

T. Adle\u0161i\u0107<\/strong>, V. \u010ca\u010di\u0107: A modern rigorous approach to stratification in NF\/NFU<\/a>, Logica Universalis<\/em><\/a> 16 (2022) 451-468<\/p>\n

A. Hatzivelkos, M. Mareti\u0107<\/strong>: Evaluating Compromise in Social Choice Functions<\/a>, <\/i>Journal of information and organizational sciences<\/a><\/em> 46 (2022) 377-389<\/span><\/p>\n

M.A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the security and complexity of periodic systems<\/a>, SN Computer Science<\/em><\/a> 3 (5) 356 (2022) 1-22<\/p>\n

E. Goris, M. B\u00edlkov\u00e1, J.J. Joosten, L. Mikec<\/strong>: Theory and application of labelling techniques for interpretability logics<\/a>, Mathematical Logic Quarterly<\/a><\/em> 68 (2022) 352-374<\/p>\n

T. Ban Kirigin<\/strong>, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong>: Graph-Based Taxonomic Semantic Class Labeling<\/a>, <\/i>Future Internet<\/a><\/em> 14(12) 383 (2022) 1-22<\/span><\/p>\n

T. Ban Kirigin<\/strong>, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong>: Semi-local integration measure of node importance<\/a>, Mathematics<\/em><\/a> 10(3) 405 (2022) 1-16<\/p>\n

M. A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the formalization and computational complexity of resilience problems for cyber-physical systems<\/a>, in: H. Seidel et al. (eds.): Theoretical Aspects of Computing \u2013 ICTAC 2022<\/em><\/a>, Springer (2022) 96-113<\/p>\n

M. Kanovich, T. <\/strong><\/span>Ban Kirigin<\/strong>, V. <\/span>Nigam, A. <\/span>Scedrov, C. <\/span>Talcott: On the complexity of verification of time-sensitive distributed systems<\/a>, in: D. Dougherty et al. (eds.): <\/span>Protocols, Strands, and Logic, Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday<\/em><\/a>, Springer (2021) 251-275<\/p>\n<\/div>\n

T. Perkov, L. Mikec<\/strong>: Tableau-based translation from first-order logic to modal logic<\/a>, Reports on Mathematical Logic<\/em><\/a> 56 (2021) 57-74<\/p>\n

T. Ban Kirigin<\/strong>, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong>: Lexical sense labeling and sentiment potential analysis using corpus-based dependency graph<\/a>, Mathematics<\/em><\/a> 9(12) 1449 (2021) 1-22<\/p>\n

T. Perkov<\/strong>: A note on logicality of generalized quantifiers<\/a>, Logica Universalis<\/em><\/a> 15 (2021) 149-152<\/p>\n

A. A. Urquiza, M. A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Resource and timing aspects of security protocols<\/a>, Journal of Computer Security<\/em><\/a> 29 (2021) 299-340<\/p>\n

M. A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity<\/a>, Proceedings of the 7th International Conference on Information Systems Security and Privacy – ICISSP<\/em><\/a>, SciTePress Digital Library<\/span> (2021) 43-54<\/p>\n

L. Mikec<\/strong>, M. Vukovi\u0107: Interpretability logics and generalised Veltman semantics<\/a>, The Journal of Symbolic Logic<\/a><\/em> 85 (2020) 749-772<\/p>\n

T. Perkov, L. Mikec<\/strong>: Existential definability of modal frame classes<\/a>, Mathematical Logic Quarterly<\/a> <\/em>66 (2020) 316-325<\/p>\n

B. Perak, T. Ban Kirigin<\/strong>: Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling<\/a>, Rasprave: \u010casopis Instituta za hrvatski jezik i jezikoslovlje<\/em><\/a> 46 (2020) 493-532<\/p>\n

T. Ban Kirigin, B. Perak<\/strong>: There’s No Time, The Problem of Conceptualising Time<\/a>, in: V. Nigam et al. (eds.): Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday<\/a><\/em>, Springer (2020) 61-68<\/p>\n

A. Urquiza, M. AlTurki, M. Kanovich, T. Ban Kirigin<\/strong>, V. Nigam, A. Scedrov, C. Talcott: Resource-Bounded Intruders in Denial of Service Attacks<\/a>, 2019 IEEE 32nd Computer Security Foundations Symposium CSF 2019 Proceedings<\/em><\/a>, IEEE Xplore Digital Library (2019) 382-396<\/p>\n

M. A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols<\/a>, in: J. D. Guttman et al. (eds.): Foundations of Security, Protocols, and Equational Reasoning. Essays Dedicated to Catherine A. Meadows<\/em><\/a>, Springer (2019) 192-213<\/p>\n

L. Mikec<\/strong>, F. Pakhomov, M. Vukovi\u0107: Complexity of the interpretability logic IL<\/a>, Logic Journal of the IGPL<\/em><\/a> 27 (2019) 1-7<\/p>\n

T. Perkov<\/strong>: Abstract logical constants<\/a>, Logica Universalis<\/em><\/a> 12 (2018) 341-350<\/p>\n

A. Hatzivelkos<\/strong>: Borda and plurality comparison with regard to compromise as a Sorites paradox<\/a>, Interdisciplinary Description of Complex Systems – INDECS<\/em><\/a> 16 (2018) 465-484<\/p>\n

M. A. Alturki, M. Kanovich, T. Ban Kirigin<\/strong>, V. Nigam, A. Scedrov, C. Talcott: Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols<\/a>, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC)<\/em><\/a>, ACM Digital Library (2018) 60-71<\/p>\n

Talks<\/h4>\n

T. Adle\u0161i\u0107<\/strong>, V. \u010ca\u010di\u0107: Alternative axiomatization of NFU<\/em>, Logic and Applications<\/a> (LAP 2022), Dubrovnik, 26-29 September 2022<\/p>\n

M. Kanovich, T. Ban Kirigin<\/strong>, V. Nigam, A. Scedrov, C. Talcott: Properties of time-sensitive distributed systems: verification and complexity<\/em>, Logic and Applications<\/a> (LAP 2022), Dubrovnik, 26-29 September 2022<\/p>\n

S. Horvat<\/strong>, T. Perkov<\/strong>, M. Vukovi\u0107: A good method of transforming Veltman into Verbrugge models<\/em>, Logic and Applications<\/a> (LAP 2022), Dubrovnik, 26-29 September 2022<\/p>\n

T. Adle\u0161i\u0107<\/strong>, V. \u010ca\u010di\u0107: Tarski’s theorem about choice and the alternative axiomatic extension of NFU<\/em>, Logic Colloquium<\/a>, Reykjavik, Island, 27 June – 1 July 2022<\/p>\n

S. Horvat<\/strong>, T. Perkov<\/strong>, M. Vukovi\u0107: A new notion of bisimulations of Verbrugge semantics<\/em>, 7th Croatian Mathematical Congress<\/a>, Split, 15-18 June 2022<\/p>\n

T. Perkov<\/strong>: Hennessy-Milner theorem for bisimulations between Veltman models and Verbrugge models<\/em>, 7th Croatian Mathematical Congress<\/a>, Split, 15-18 June 2022<\/p>\n

S. Horvat<\/strong>: Bisimulations for generalised Veltman semantics<\/em>, 6th Faculty of Science PhD Student Simposium<\/a> (PhDSS 2022), Zagreb, 23-24 April 2022<\/p>\n

T. Perkov<\/strong>: Bisimulations between Veltman models and generalized Veltman models<\/em>, Logic4Peace<\/a>, online, 22-23 April 2022<\/p>\n

A. Hatzivelkos<\/strong>: Total optimization of the divergence from the compromise<\/em>, 2022 Meeting of the European Public Choice Society<\/a> (EPCS 2022), Braga, 11-14 April 2022<\/p>\n

T. Adle\u0161i\u0107<\/strong>: A modern rigorous approach to stratification in NF\/NFU<\/em>, 7th World Congress and School on Universal Logic<\/a> (UNILOG 2022), Orthodox Academy of Crete, 1-11 April 2022<\/p>\n

B. Perak<\/strong>, T. Ban Kirigin<\/strong>: Dependency-based labeling of associative lexical communities<\/em>, Central European Conference on Information and Intelligent Systems<\/a> (CECIIS 2021), online, 13-15 October 2021<\/p>\n

T. Adle\u0161i\u0107<\/strong>, V. \u010ca\u010di\u0107: Formal approach to stratification in NF\/NFU<\/em>, Logic and Applications<\/a> (LAP 2021), Dubrovnik, 20-24 September 2021<\/p>\n

M. A. AlTurki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Periodic systems: safety, security, and complexity<\/em>, Logic and Applications<\/a> (LAP 2021), Dubrovnik, 20-24 September 2021<\/p>\n

S. Horvat<\/strong>, T. Perkov<\/strong>, M. Vukovi\u0107: n-bisimulations for generalised Veltman semantics<\/em>, Logic and Applications<\/a> (LAP 2021), Dubrovnik, 20-24 September 2021<\/p>\n

B. Perak<\/strong>, J. \u010culig Suknai\u0107: In search of the beauty and the beast. Antonymy in syntactic constructions<\/em>, 35th International Conference of Croatian Applied Linguistic Society – Language in the Digital Environment<\/a> (HDPL 2021), Osijek, 9-11 September 2021<\/p>\n

T. Perkov<\/strong>: Logical constants in abstract frameworks<\/em>, Logica Universalis Webinar<\/a> (LUW), 18 August 2021<\/p>\n

A. Hatzivelkos<\/strong>: Axiomatic approach to the notion of compromise<\/em>, International Conference on Group Decision and Negotiation<\/a> (GDN 2021), online, 6-10 June 2021<\/span><\/p>\n

M. A. Alturki, T. Ban Kirigin<\/strong>, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity<\/em>, International Conference on Information Systems Security and Privacy<\/a> (ICISSP 2021), online, 11-13 February 2021<\/p>\n

A. A. Urquiza, M. A. Al Turki, M. Kanovich, T. Ban Kirigin<\/strong>, V. Nigam, A. Scedrov, C. Talcott: Modelling resource and timing aspects of security protocols<\/em>, Logic and Applications<\/a> (LAP 2020), Dubrovnik, 21-25 September 2020<\/p>\n

L. Mikec<\/strong>, J. J. Joosten, M. Vukovi\u0107: A W-flavoured series of interpretability principles<\/em>, Advances in Modal Logic<\/a> (AiML 2020), Helsinki (online), 24-28 August 2020<\/p>\n

L. Mikec<\/strong>: Syntax, semantics and labellings for interpretability logic<\/em>, Seminar on Proof Theory and Foundations of Mathematics<\/a>, Barcelona, 28 February 2020<\/p>\n

B. Perak<\/strong>: Modelling the semantic relations within texts using the UD NLP tools for syntactic parsing, Neo4j graph database for storing and Igraph for network analysis<\/em>, Graph Technologies in the Digital Humanities 2020<\/a>, Vienna, 21-22 February 2020<\/p>\n

L. Mikec<\/strong>: Complexity of interpretability logics<\/em>, Workshop on Proof Theory, Modal Logic and Reflection Principles<\/a> (WORMSHOP 2019), Barcelona, 5-8 November 2019<\/p>\n

A. Hatzivelkos, B. Stojanovi\u0107<\/strong>: Minimization of the d-measure of divergence from the compromise<\/em>, Logic and Applications<\/a> (LAP 2019), Dubrovnik, 23-27 September 2019<\/p>\n

T. Perkov<\/strong>: Tableau<\/span>-based translation from first-order logic to modal logic<\/em>, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods<\/a> (TABLEAUX 2019), London, 3-5 September 2019<\/p>\n

B. Perak<\/strong>: Croatian parliamentary debates network analysis of the conceptualized emotion categories<\/em>, Words as a Battlefield<\/a> (WAB 2019), Maribor, 5-6 April 2019<\/p>\n

B. Perak<\/strong>: Extracting emotion constructions from linguistic corpora<\/span><\/em>, Between Past and Present – Interdisciplinary Perspectives on Emotions<\/a><\/span>, Zagreb, 18-19 October 2018<\/span><\/p>\n

L. Mikec<\/strong>, T. Perkov<\/strong>: Existentially valid formulas corresponding to some normal modal logics<\/em>, Advances in Modal Logic<\/a> (AiML 2018), Bern, 27-31 August 2018<\/span><\/p>\n

T. Perkov<\/strong>: Logicality of generalized quantifiers<\/em>, Quantity in Language and Thought<\/a>, ESSLLI 2018 workshop, Sofia, 13-17 August 2018<\/p>\n

M. A. Al Turki, M. Kanovich, T. Ban Kirigin<\/strong>, V. Nigam, A. Scedrov, C. Talcott: Statistical model checking of guessing and timing attacks on distance-bounding protocols<\/em>, Workshop on Foundations of Computer Security<\/a> (FCS 2018), Oxford, 8 July 2018<\/p>\n

Workshops<\/h4>\n
FORMALS 2022<\/h5>\n

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.<\/p>\n

Talks<\/h5>\n

V. Nigam<\/strong>: Automating safety proofs about cyber-physical systems using rewriting modulo SMT
\nT. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, Benedikt Perak<\/strong>: Semi-local integration centrality for complex networks
\nT. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, Benedikt Perak<\/strong>: Syntactic dependency networks: cognitive aspects of hierarhical multi-layer structures
\nA. Hatzivelkos<\/strong>: On p-Disapproval voting characterization
\nL. Mikec<\/strong>: FORMALS contributions overview (2018\u20132022)
\nY. Petrukhin<\/strong>: Cut-free hypersequent calculus for a non-contingency version of S5<\/p>\n

Abstracts are available online<\/a>.<\/p>\n

FORMALS 2021<\/h5>\n

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.<\/p>\n

Talks<\/h5>\n
V. Nigam<\/strong> – Soft-Agents: A Symbolic Verification Framework for Cyber-Physical Systems (invited talk)<\/div>\n
T. Adle\u0161i\u0107<\/strong> – Quine’s New foundations and paradoxes<\/div>\n
T. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong> – Building a Sentiment Dictionary for Croatian<\/div>\n
T. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong> – Sentiment Potential Analysis<\/div>\n
T. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, B. Perak<\/strong> – Implementing Sentiment Dictionary into Vader Sentiment Analysis for Croatian<\/div>\n
S. Horvat<\/strong> – Bisimulation games for (generalized) Veltman semantics
\nJ. Raclavsk\u00fd<\/strong> – The rule of existential generalisation, its derivability and formal semantics
\nA. Hatzivelkos, M. Mareti\u0107<\/strong> – A note about disapproval voting
\nL. Mikec, J. J. Joosten, A. Visser, M. Vukovi\u0107<\/strong> – On proving interpretability principles arithmetically sound
\nL. Conti<\/strong> – Abstraction’s Logicality and Invariance
\nY. Petrukhin<\/strong> – Normalisation for some infectious logics with non-standard disjunction elimination rules<\/div>\n
<\/div>\n
<\/h5>\n
Abstracts are available online<\/a>.<\/div>\n

<\/h4>\n

FORMALS 2020<\/h5>\n

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.<\/p>\n

Talks<\/h5>\n

L. Conti<\/strong>: A model for a free way out of Russell\u2019s Paradox
\nA. Hatzivelkos<\/strong>: Axiomatic modelling of notion of compromise in social choice theory
\nS. Horvat<\/strong>: Smart labels in proofs of completeness of interpretability logics
\nS. Jeli\u0107<\/strong> (invited talk): Multi-valued logic in M-system theory
\nM. Mareti\u0107<\/strong>: A survey of online exam proctoring
\nL. Mikec, J. Joosten, M. Vukovi\u0107<\/strong>: On ILWR-frames
\nV. Nigam<\/strong> (invited talk): Incremental automated safety and security reasoning with patterns
\nB. Perak, T. Ban Kirigin<\/strong>: ConGraCNet 0.3: Corpus-based graph syntactic-semantic relations analysis<\/p>\n

Abstracts of all talks at the conference Logic and Applications (LAP 2020), including the workshop, are available online<\/a>.<\/p>\n

FORMALS 2019<\/h5>\n

The 2st workshop Formal Reasoning and Semantics took place at the Faculty of Teacher Education, University of Zagreb, 17-18 June 2019.<\/p>\n

Talks<\/h5>\n

V. Nigam<\/strong> (invited talk): Symbolic timed trace equivalence <\/em>[abstract<\/a>]
\nL. Mikec, T. Perkov<\/strong>: Techniques and results concerning relationships between modal <\/em>\u2203-logics <\/em>[abstract<\/a>]
\nS. Horvat<\/strong>: GL1 is<\/em> PSPACE-complete<\/em> [abstract<\/a>]
\nI. Kuzmanovi\u0107 Ivi\u010di\u0107, J. Beni\u0107<\/strong>: On the relation of multi-valued logics and M-system theory<\/em> [abstract<\/a>]
\nB. Perak<\/strong>: Combining the conceptual analysis with social network analysis <\/em>[abstract<\/a>]
\nT. Ban Kirigin<\/strong>: Specifying and verifying timing aspects of security protocols <\/em>[abstract<\/a>]<\/p>\n

FORMALS 2018<\/h5>\n

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.<\/p>\n

Talks<\/h5>\n

M. Mareti\u0107<\/strong>: On geometric aspects of multiple conclusion natural deductions<\/em>
\nB. Perak<\/strong>, T. Ban Kirigin<\/strong>: Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators<\/em>
\nA. Hatzivelkos<\/strong>: Mathematical model for notion of compromise in social choice theory<\/em>
\nB. Stojanovi\u0107<\/strong>: Propositional and first-order logic formalizations of social welfare functions<\/em>
\nT. Perkov<\/strong>: Formalizations of social choice theory in modal logic<\/em>
\nV. Nigam<\/strong> (invited talk): Towards the formal verification of Industry 4.0 applications<\/em>
\nL. Mikec<\/strong>: Complexity of the interpretability logic IL<\/em><\/p>\n

Tutorials<\/h5>\n

B. Perak<\/strong>: Ontology of the language communication and the structure of meaning<\/em>
\nT. Perkov<\/strong>: Introduction to modal logic: a semantic approach<\/em><\/p>\n

Abstracts<\/h5>\n

Abstracts of all talks at the conference Logic and Applications (LAP 2018) are available online<\/a>, including the introduction to the workshop and abstracts of workshop talks (pp. 48-62). Slides<\/a> are also available.<\/p>\n

Other activities
\n<\/strong><\/h4>\n

T. Perkov<\/strong>: Modal logics of provability and interpretability<\/em><\/a> (advanced course, 10 hours), Logic and Computation track of European Summer School in Logic, Language and Information<\/a> (ESSLLI 2018), Sofia, 6-17 August 2018<\/p>\n

B. Perak<\/strong> lead the panel<\/a> Linguistic diversity, construal and conceptualization<\/em> at the conference CLARC 2018<\/a> (Perspectives on Linguistic Diversity), Rijeka, 8-10 June 2018.<\/p>\n

The paper T. Perkov<\/strong>: Abstract logical constants<\/em> is awarded Georgius Benignus Logic Prize<\/a> for 2017 by Croatian Logic Association, presented at 6th World Congress on Universal Logic<\/a> (UNILOG 2018), Vichy, 16-26 June 2018 and published in the journal Logica Universalis<\/em><\/a>.<\/p>\n

L. Mikec<\/strong> implemented the procedure for tableau-based translation from first-order logic to modal logic. It is available here<\/a> as of September 2019.<\/p>\n

Research group<\/h4>\n

Tin Perkov<\/p>\n

Tajana Ban Kirigin<\/p>\n

Marcel Mareti\u0107<\/p>\n

Benedikt Perak<\/p>\n

Mandi Orli\u0107 Bachler<\/p>\n

Luka Mikec<\/p>\n

Nikolina Iris Filipovi\u0107<\/p>\n

Aleksandar Hatzivelkos<\/p>\n

Branimir Stojanovi\u0107<\/p>\n

Sebastijan Horvat<\/p>\n

Tin Adle\u0161i\u0107<\/p>\n

Stipe Mari\u0107<\/p>\n

Teo \u0160estak<\/p>\n

 <\/span><\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

Formal reasoning and semantics (FORMALS) was a research project funded by Croatian Science Foundation (HRZZ), grant UIP-2017-05-9219, for a period of 5 years, starting from December 1st, 2017. Papers S. Horvat, T. Perkov, M. Vukovi\u0107: Bisimulations and bisimulation games between Verbrugge models, Mathematical Logic Quarterly 69 (2023) 231-243 B. Perak, T. Ban Kirigin: Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis, Natural Language Engineering 29 (2023) 584-614 L. Mikec: Complexity of the interpretability logics ILW and ILP, Logic Journal of the IGPL 31 (2023) 194-213 T. Adle\u0161i\u0107, V. \u010ca\u010di\u0107: A modern rigorous approach to stratification in NF\/NFU, Logica Universalis 16 (2022) 451-468 A. Hatzivelkos, M. Mareti\u0107: Evaluating Compromise in Social Choice Functions, Journal of information and organizational sciences 46 (2022) 377-389 M.A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the security and complexity of periodic systems, SN Computer Science 3 (5) 356 (2022) 1-22 E. Goris, M. B\u00edlkov\u00e1, J.J. Joosten, L. Mikec: Theory and application of labelling techniques for interpretability logics, Mathematical Logic Quarterly 68 (2022) 352-374 T. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, B. Perak: Graph-Based Taxonomic Semantic Class Labeling, Future Internet 14(12) 383 (2022) 1-22 T. Ban Kirigin, S. Buja\u010di\u0107 Babi\u0107, B. Perak: Semi-local integration measure of node importance, Mathematics 10(3) 405 (2022) 1-16 M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the formalization and computational complexity of resilience problems for cyber-physical systems, in: H. Seidel et al. (eds.): Theoretical Aspects of Computing \u2013 ICTAC 2022, Springer (2022) 96-113 M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: On the complexity of verification of time-sensitive distributed systems, in: D. Dougherty et al. (eds.): Protocols, Strands, and Logic, Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, Springer (2021) 251-275 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\u010di\u0107 Babi\u0107, 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\u0107: 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: \u010casopis 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\u0107: 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\u0161i\u0107, V. \u010ca\u010di\u0107: 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\u0107: A good method of transforming Veltman into Verbrugge models, Logic and Applications (LAP 2022), Dubrovnik, 26-29 September 2022 T. Adle\u0161i\u0107, V. \u010ca\u010di\u0107: 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\u0107: 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\u0161i\u0107: 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\u0161i\u0107, V. \u010ca\u010di\u0107: 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 […]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/207"}],"collection":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/comments?post=207"}],"version-history":[{"count":88,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/207\/revisions"}],"predecessor-version":[{"id":573,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/207\/revisions\/573"}],"wp:attachment":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/media?parent=207"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}