On 5/8/07, Michael Slone <[EMAIL PROTECTED]> wrote:
On 5/8/07, Ed Murphy <[EMAIL PROTECTED]> wrote: > We need something akin to RFC 2119.I have tried before with little success to introduce a semantics for modal logic (or if you like, deontic logic) into Agora. Perhaps the time has come?
I think deontic logic might be closer, but it axiomatizes the concept that "ought implies can". -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem