Volume 18, Number 1, 2008
: Possible-translations semantics for some weak classically-based paraconsistent logics.
: The serializability problem for a temporal logic of transaction queries.
: Autoreferential semantics for many-valued modal logics.
Volume 18, Numbers 2-3, 2008
: Hyper arrow logic with indiscernibility and complementarity.
Mikhail N. Rybakov
: Complexity of intuitionistic propositional logic and its fragments.
: Non-classical operations hidden in classical logic.
: Towards incorporating background theories into quantifier elimination.
: Constructive negation, implication, and co-implication.