Sciweavers

2 search results - page 1 / 1
» Idempotent Transductions for Modal Logics
Sort
View
FROCOS
2007
Springer
13 years 9 months ago
Idempotent Transductions for Modal Logics
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
Tim French
NDJFL
1998
105views more  NDJFL 1998»
13 years 3 months ago
Idempotent Full Paraconsistent Negations are not Algebraizable
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
Jean-Yves Béziau