Abstract In the style of Lindström’s theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as maximal (with respect to expressive power) abstract satisfying a certain form compactness, Tarski union property and preservation under bi-asimulations. Since introduces new complexities in intuitionistic setting by adding analogue backwards looking m...

We study acts and modules of maximal growth over finitely generated free monoids and free associative algebras as well as free groups and free group algebras. The maximality of the growth implies some other specific properties of these acts and modules that makes them close to the free ones; at the same time, we show that being a strong “infiniteness” condition, the maximality of the growth can...

Timed automata with durational actions (daTA) are a form of timed automata that admit a more natural representation of durational actions and capturing true concurrency, with those additional benefits the kinds of properties to be verified on real-time systems will be enlarged. We present a novel approach to construct a region graph, based on the maximality semantics and preserving that specifi...