Volume 10, Number 1, March 2012
Special issue papers
Renate A. Schmidt
: The Ackermann approach for modal logic, correspondence theory and second-order reduction.
Volume 10, Number 2, June 2012
Murdoch James Gabbay
: Unity in nominal equational reasoning: The algebra of equality on nominal sets.
Volume 10, Number 3, September 2012
: Temporal alethic-deontic logic and semantic tableaux.
: Quine on intensional entities: Modality and quantification, truth and satisfaction.
: Deciding the word problem in pure double Boolean algebras.
Volume 10, Number 4, December 2012
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications
, C. A. Reed
: A domain specific language for describing diverse systems of dialogue.
, Sanyang Liu
: The countable versus uncountable branching recurrences in computability logic.