6 citations
2 papers
cs.CC2009★ 6 cited
On acceptance conditions for membrane systems: characterisations of L and NL
Niall Murphy, Damien Woods
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance condition…
math.LO2008★ 1 cited
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Felix Bou, Francesc Esteva, Lluis Godo +1
This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility rel…