Volume 4, Number 1, March 2006
: Model checking propositional dynamic logic with all extras.
: Using temporal logics of knowledge for specification and verification - a case study.
: The monadic second-order logic of graphs XV: On a conjecture by D. Seese.
: Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133].
Volume 4, Number 2, June 2006
Volume 4, Number 3, September 2006
Methods for Modalities 3 (M4M-3)
Volume 4, Number 4, December 2006
Towards Computer Aided Mathematics
: An example of formalizing recent mathematical results in Mizar.
: MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics.
: Supporting the formal verification of mathematical texts.
: Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics.