e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored sublogics of ExtModal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17502 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad06a3932c674dd1ebf566b8b5594d0df9e52cc0 |
|
19-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and added first HO preds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17364 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab373af0c94a5a73d8c8d5fd580775d79f745a00 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded flexible constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17352 cec4b9c1-7d33-0410-9eda-942365e851bb |
84c0c21396b0ebd663607b9eb745753a628f7de1 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
time modalities do not need to be considered here
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17346 cec4b9c1-7d33-0410-9eda-942365e851bb |
a62775006ae39677af366c0f7b599924243cc65b |
|
17-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused tau stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17345 cec4b9c1-7d33-0410-9eda-942365e851bb |
15a8dd18bba124cd031e4b658c5a8202ffea08ed |
|
17-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
restrict sublogic to foleml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17344 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2cc771b106f5792a02348fd36475550b8731792 |
|
17-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
increased counter and set current world
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17342 cec4b9c1-7d33-0410-9eda-942365e851bb |
d12f7a58b996457c25e12d674153346a4e21930e |
|
17-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
considered bound nominals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17341 cec4b9c1-7d33-0410-9eda-942365e851bb |
398f02e814574f163278b28b5c78cd213493f7cc |
|
14-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to translate hybrid formulas (still wrong)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17340 cec4b9c1-7d33-0410-9eda-942365e851bb |
3914921e185936caecda805b95617c82ac3fb565 |
|
14-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added the tau relation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17339 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5ddf41fe430a758733dbc46db25d5910c85ab8c |
|
12-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17334 cec4b9c1-7d33-0410-9eda-942365e851bb |
c55f9e48a7d93c41ebfe7a3216ed305165346e2f |
|
12-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
also look for a supersort term modality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17331 cec4b9c1-7d33-0410-9eda-942365e851bb |
16779ccfe622e9db869898f724bc0132b90cb7d7 |
|
11-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
started translating modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17329 cec4b9c1-7d33-0410-9eda-942365e851bb |
3397210aac34a94e9ae85faacf7f6a02a808097e |
|
11-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
translate box formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17322 cec4b9c1-7d33-0410-9eda-942365e851bb |
712ff727df7fe324064a1082a40d66a18a3df352 |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17318 cec4b9c1-7d33-0410-9eda-942365e851bb |
53d2d31717e8c65bb3c2d1f2cd891d626cf45e5b |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
translate nominals and strip quantifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17317 cec4b9c1-7d33-0410-9eda-942365e851bb |
d20b265a2765e843986ceed6bf0055582981bf0f |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Id for nominals in signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17316 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc792317de0a95aac4e9a6dadfb78df050e5022e |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
started translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17315 cec4b9c1-7d33-0410-9eda-942365e851bb |
7cfd47f6dc4147e9a3d21d72f68c6325552092f0 |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
replace nominal predicates by constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17305 cec4b9c1-7d33-0410-9eda-942365e851bb |
64610ae60115fa0465d6d8548827b13d214cdc9e |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed time_modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17304 cec4b9c1-7d33-0410-9eda-942365e851bb |
17f1de180b775332d98ff24c7ce51d6866272dcd |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted relations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17302 cec4b9c1-7d33-0410-9eda-942365e851bb |
de2d031e186086e2cb775bc59bacda87c9b18371 |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
task of m.turcu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17300 cec4b9c1-7d33-0410-9eda-942365e851bb |
765f3b8c82bca96eeb44463da2305201b1a493da |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored Modal2CASL comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17299 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f5d611a1388ce3cd33f86da3f1e9b7ad68d087c |
|
01-Aug-2012 |
Mihaela Turcu <m.turcu@jacobs-university.de> |
inserted world sort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17089 cec4b9c1-7d33-0410-9eda-942365e851bb |
1070181294f9381ac4ac19eba1c3ecc40fc731a4 |
|
01-Aug-2012 |
Mihaela Turcu <m.turcu@jacobs-university.de> |
started comorphism from ext modal to casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17088 cec4b9c1-7d33-0410-9eda-942365e851bb |