| d79305bc03c0a2520cb51e89705fdad8da371614 |
|
04-Mar-2010 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
compositional coloss, first "stable" version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13154 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 36c11664ce1f0ec4e4e741de22c7959b47544497 |
|
26-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
getting better...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12735 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 34c4c82ffc5f6e35808f7a45a7c837386373eda8 |
|
23-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
Added some typed sequent rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12702 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 304d15b2ffa9376d78bddcfc63569824381714ab |
|
21-Oct-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
First version of a paper about heterogenous modal logics in CoLoSS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12686 cec4b9c1-7d33-0410-9eda-942365e851bb |