Displaying similar documents to “A note on coinduction and weak bisimilarity for while programs”

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

Nobu-Yuki Suzuki (2017)

Bulletin of the Section of Logic

Similarity:

We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.

Hierarchies of weakly monotone restarting automata

František Mráz, Friedrich Otto (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

It is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols.