Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Zawidzki, Michał"'
Autor:
Indrzejczak, Andrzej, Zawidzki, Michał
Publikováno v:
Synthese 202, 98 (2023)
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 calculus working on sat-formulas. A particular theory of DD exploited here i
Externí odkaz:
http://arxiv.org/abs/2412.01484
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 formula \(varphi\)'. We show that adding such operators to the basic (
Externí odkaz:
http://arxiv.org/abs/2410.10439
Autor:
Indrzejczak, Andrzej, Zawidzki, Michał
Publikováno v:
EPTCS 358, 2022
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 their applications. This year's edition was also an opportunity to cel
Externí odkaz:
http://arxiv.org/abs/2204.06359
Autor:
Indrzejczak, Andrzej, Zawidzki, Michał
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 axiomatically in the setting of free logic. We consider five analytic tableau
Externí odkaz:
http://arxiv.org/abs/2107.07228
Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the
Externí odkaz:
http://arxiv.org/abs/2104.14697
Publikováno v:
In Information and Computation October 2021 280
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.