Received: from nobody by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1TCHhZ-0006du-Cq for lojban-newreal@lojban.org; Thu, 13 Sep 2012 15:16:01 -0700 Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1TCHhY-0006dE-6E; Thu, 13 Sep 2012 15:16:00 -0700 Date: Thu, 13 Sep 2012 15:16:00 -0700 From: Robin Lee Powell To: Julioandreslorenzo Cc: "lojban@lojban.org" Subject: Re: Modal logic Message-ID: <20120913221600.GC18784@stodi.digitalkingdom.org> Mail-Followup-To: Julioandreslorenzo , "lojban@lojban.org" References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) This reads like you intended it to go to the main mailing list?, but it didn't. -Robin On Fri, Sep 14, 2012 at 12:08:37AM +0200, Julioandreslorenzo wrote: > Dear friends, being a logic (emeritus) professor, I was instantly enthousiastic after knowing logban. > I would like logban incorporate modal logic in an explicit way instead of with modifyed predicates. > Another useful idea, I think, is the building of a prolog interpreter using logban standards. > I remain a student of logban and I will try to promote it with my friends, students and colleges. > See in which area I can help once I know better the language. > Best regards, > > .'ulios. > > Sent from my iPad > > -- http://singinst.org/ : Our last, best hope for a fantastic future. .i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u