Tootfinder

Some observations on a result by Bialinicki-Birula and Zelazko
Gabriele Gull\`a
https://arxiv.org/abs/2403.17027 https://arxiv.org/pd…

Some observations on a result by Bialinicki-Birula and Zelazko
We are interested in investigating some definitions and assumptions stated in [4], in particular the notions of measurability and atomicity that the two authors used in order to give a representation for multiplicative linear functionals (m.l.f. so on) over the cartesian product of algebras. We want to briefly analyze the result under other strong proper axioms with respect to ZF(C). Some little historical and notational remarks will be given.

This https://arxiv.org/abs/2307.09913 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of interest are ALCreg and ALCvpl, the extensions of with path expressions employing, respectively, regular and visibly-pushdown languages. The first one, ALCreg, is a notational variant of the well-known Propositional Dynamic Logic of Fischer and Ladner. The second one, ALCvpl, was introduced and investigated by Loding an…

This https://arxiv.org/abs/2307.09913 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of interest are ALCreg and ALCvpl, the extensions of with path expressions employing, respectively, regular and visibly-pushdown languages. The first one, ALCreg, is a notational variant of the well-known Propositional Dynamic Logic of Fischer and Ladner. The second one, ALCvpl, was introduced and investigated by Loding an…