eremite - alexander saint croix

Archives

  • 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!
  • Project mailing list is on its way
  • No word yet on setting up a project mailing list
  • Arete project goals
  • Arete QuickStart manual published

Search


Categories

  • Aporetics
  • Arete Project
    • Development
    • Mailing Lists
    • New Releases
    • Publications
  • Declarative Logic
  • Imperative Logic
  • Modal Logic
    • Alethic Logic
    • Deontic Logic
    • Doxastic Logic
    • Epistemic Logic
    • Tense Logic

Archives

  • October 2007
  • May 2007
  • April 2007

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!
Subscribe to this blog's feed
[What is this?]
Powered by
Movable Type 4.31-en