Sciweavers

IGPL
2000
129views more  IGPL 2000»
13 years 11 months ago
Embeddings of Propositional Monomodal Logics
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
Evgeni E. Zolin
CORR
2008
Springer
84views Education» more  CORR 2008»
13 years 11 months ago
Words and morphisms with Sturmian erasures
We say x {0, 1, 2}N is a word with Sturmian erasures if for any a {0, 1, 2} the word obtained erasing all a in x is a Sturmian word. A large family of such words is given coding ...
Fabien Durand, Adel Guerziz, Michel Koskas