Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Indrzejczak, Andrzej
and
Zawidzki, Michał
2021.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 12842,
Issue. ,
p.
56.
Kürbis, Nils
2021.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 12842,
Issue. ,
p.
95.
Indrzejczak, Andrzej
and
Zawidzki, Michał
2023.
Definite descriptions and hybrid tense logic.
Synthese,
Vol. 202,
Issue. 3,
Indrzejczak, Andrzej
and
Petrukhin, Yaroslav
2023.
Automated Deduction – CADE 29.
Vol. 14132,
Issue. ,
p.
325.
Indrzejczak, Andrzej
2023.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 14278,
Issue. ,
p.
131.
Indrzejczak, Andrzej
and
Zawidzki, Michał
2023.
When iota meets lambda.
Synthese,
Vol. 201,
Issue. 2,
Indrzejczak, Andrzej
and
Kürbis, Nils
2023.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 14278,
Issue. ,
p.
112.