Bisimilarity on NLMP is analytic in general, Borel for well-founded cases, and not characterizable by any countable fragment of basic modal logic with denumerable conjunctions.
S \'a nchez Terraf , title Bisimilarity is not B orel , journal Mathematical Structures in Computer Science volume 27 : pages 1265--1284 ( year 2017 )
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The complexity of bisimilarity on pointmass processes
Bisimilarity on NLMP is analytic in general, Borel for well-founded cases, and not characterizable by any countable fragment of basic modal logic with denumerable conjunctions.