Zobrazeno 1 - 10
of 25 171
pro vyhledávání: '"Hennessy P"'
Autor:
Martens, Jan, Groote, Jan Friso
We study the problem of computing minimal distinguishing formulas for non-bisimilar states in finite LTSs. We show that this is NP-hard if the size of the formula must be minimal. Similarly, the existence of a short distinguishing trace is NP-complet
Externí odkaz:
http://arxiv.org/abs/2307.05265
Autor:
Geuvers, Herman, Golov, Komi
Labelled transitions systems can be studied in terms of modal logic and in terms of bisimulation. These two notions are connected by Hennessy-Milner theorems, that show that two states are bisimilar precisely when they satisfy the same modal logic fo
Externí odkaz:
http://arxiv.org/abs/2210.07380
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous va
Externí odkaz:
http://arxiv.org/abs/2207.09187
We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It is based on
Externí odkaz:
http://arxiv.org/abs/2207.05407
Autor:
de Groot, Jim, Pattinson, Dirk
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical tools are
Externí odkaz:
http://arxiv.org/abs/2105.01855
We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL
Externí odkaz:
http://arxiv.org/abs/2006.15000
Autor:
Catherine Marshall
Publikováno v:
Revue Française de Civilisation Britannique, Vol 28, Iss 2 (2023)
Externí odkaz:
https://doaj.org/article/fac7d1c2ebfd4db3a07ceec5194a8408
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.