Using Hybrid Logic for Coping with Functions in Subset Spaces Bernhard Heinemann OriginalPaper 20 January 2010 Pages: 23 - 45
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic Brian HillFrancesca Poggiolesi OriginalPaper 20 January 2010 Pages: 47 - 72
An Independence Relation for Sets of Secrets Sara Miner MorePavel Naumov OriginalPaper 28 January 2010 Pages: 73 - 85
Extensionality and Restriction in Naive Set Theory Zach Weber OriginalPaper 20 January 2010 Pages: 87 - 104
Associative Substitutional Semantics and Quantified Modal Logic Bartosz Więckowski OriginalPaper 27 January 2010 Pages: 105 - 138