Name Date Size

.. 2012-12-17 15:41:05 5

comorphism 2011-08-25 00:58:29 8

first-order 2012-12-17 15:41:05 6

meta 2011-02-25 17:31:23 5

modal 2011-02-25 17:31:23 5

propositional 2012-12-17 15:41:05 6