2 citations · 2 across the 4 of their papers we have counts for
7 papers
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…
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
Andrzej Indrzejczak, Michał Zawidzki
Non-Classical Logics. Theory and Applications (NCL) is an international conference which aims to present novel results and survey works in widely understood non-classical logics an…
Definite Descriptions and Hybrid Tense Logic
Andrzej Indrzejczak, Michał Zawidzki
We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calcul…
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…
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications
Andrzej Indrzejczak, Michał Zawidzki
Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and…
Tableaux for Free Logics with Descriptions
Andrzej Indrzejczak, Michał Zawidzki
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomat…