Received: from mail-wi0-f181.google.com ([209.85.212.181]:43512)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <julioandreslorenzo@gmail.com>)
	id 1TCHab-0006VW-NT
	for lojban@lojban.org; Thu, 13 Sep 2012 15:08:50 -0700
Received: by wibhm2 with SMTP id hm2so3090471wib.10
        for <lojban@lojban.org>; Thu, 13 Sep 2012 15:08:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=subject:from:content-type:message-id:date:to
         :content-transfer-encoding:mime-version:x-mailer;
        bh=vwv93jLvtSJ1XIXorQqBpn+GGCgX6UD+REucmgnHKOs=;
        b=ogE0VJLVn+k4BIHPrSDRpKzhjsb361hcWQcspGmnypbh0bKKiYmypNVYoxYEW1PKRM
         5YOghZoXQDm2v4zEucx8yBhTUnic6Cvo+tXazoDSEnhPNpOeKx9D6APXxKp2NNp2HhDy
         38drYVjbZWN4GkyndfL5neao750zi/bgvPXE6GccGGAYunKy1GRmYifdtNTutiN2ib3G
         UwbsHvox399+OdvZ6ohoZd2WX89+vG5bsAXKgKU8NX4VZ0M5cFgFSCC6aG0CBF7ljqrW
         lY6Q0djmPjop1A8WBQaaxOOXvRIpqaOJ4z8RJghSwArjK7MqsWCTT/bUIiXaI93Ofhiy
         akKg==
Received: by 10.216.241.198 with SMTP id g48mr249186wer.164.1347574122011;
        Thu, 13 Sep 2012 15:08:42 -0700 (PDT)
Received: from [192.168.1.35] (54.Red-88-22-131.staticIP.rima-tde.net. [88.22.131.54])
        by mx.google.com with ESMTPS id dp8sm23491229wib.3.2012.09.13.15.08.39
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 13 Sep 2012 15:08:40 -0700 (PDT)
Subject: Modal logic
From: Julioandreslorenzo <julioandreslorenzo@gmail.com>
Content-Type: text/plain; charset=us-ascii
Message-Id: <A199887D-5738-4D3C-B290-C5770373242C@gmail.com>
Date: Fri, 14 Sep 2012 00:08:37 +0200
To: "lojban@lojban.org" <lojban@lojban.org>
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (1.0)
X-Mailer: iPad Mail (9B206)
X-Spam-Score: -0.8 (/)
X-Spam_score: -0.8
X-Spam_score_int: -7
X-Spam_bar: /

Dear friends, being a logic (emeritus) professor, I was instantly enthousias=
tic after knowing logban.
I would like logban incorporate modal logic in an explicit way instead of wi=
th modifyed predicates.
Another useful idea, I think, is the building of a prolog interpreter using l=
ogban standards.
I remain a student of logban and I will try to promote it with my friends, s=
tudents and colleges.
See in which area I can help once I know better the language.
Best regards,

.'ulios.

Sent from my iPad=