5 citations · 5 across the 12 of their papers we have counts for
4 papers · 1 filter
Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
We study preservation theorems for modal logics over finite structures with respect to three fundamental semantic relations: embeddings, injective homomorphisms, and homomorphisms.…
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki
Definite descriptions are expressions of the form "the unique satisfying property ," which allow reference to objects through their distinguishing characteristics. They play…
Hybrid Modal Operators for Definite Descriptions
Przemysław Andrzej Wałęga, Michał Zawidzki
In this paper, we study computational complexity and expressive power of modal operators for definite descriptions, which correspond to statements `the modal world which satisfies…
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed w…