June 2009
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 |
Search
Categories
- Aporetics
- Arete Project
- Declarative Logic
- Imperative Logic
- Modal Logic
- Alethic Logic
- Deontic Logic
- Doxastic Logic
- Epistemic Logic
- Tense Logic
Recent Posts
- Refining the Bravo Core
- Researching the "bravo core"
- The plausibility corruption principle as an aporetic strategy
- Work on the new modal logic core is underway
- M2 build environment postponed until next release
- Pushing the edges of design on the UMWiki
- Digging through JLog interpreter source
- Coming to an ontology
- ARETE-USER mailing list is up and running!
- Arete 1.0-alpha-04 Released!
Links
Powered by
Movable Type 4.25
Movable Type 4.25