In this paper, we axiomatize modal logic extended with the modal operator\(M\varphi\)
saying that “there are strictly more\(\varphi\)-successors than\(\lnot\varphi\)-successors”, both …

INTRODUCTION seems to give the adequate meaning of quantifiers: the relationship they
represent for the denotation of given noun phrases and the verb phrases. Also, the …

We introduce a novel set-intersection operator called 'most-intersection'based on the logical
quantifier 'most', via natural density of countable sets, to be used in determining the majority …

In this paper, we give an axiomatization of monadic firstorder logic with the unary
generalized quantifier “most” and without the identity relation (MFO−(M)), with respect to …

In this paper, we introduce a logico-analytic approach for majority characterization of the
basin of attraction field of 1-D cellular automata in terms of its generated sub-trajectories. In …