k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Implementing a logic in K

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: Zans Mihejevs <zans.lancs AT googlemail.com>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Implementing a logic in K
Date: Sun, 5 Feb 2017 22:17:26 +0000
Accept-language: en-US

Hi Zans,

Sorry for the delay in replying. Currently, we do not provide a nice interface to express an arbitrary logic. We are actively working on fully supporting Matching logic (the underlying logic of K), in which you may be able to embed your logic if possible.

Best,

Daejun

On Jan 23, 2017, at 7:37 AM, Zans Mihejevs <zans.lancs AT googlemail.com> wrote:

Hi, I've seen a few tutorials on implementing languages in K, but I am struggling to find any explanation on how to express a logic.

Would anyone have any suggestions? I am currently interested in equational and predicate logics.

Re: [[K-user] ] Implementing a logic in K, Park, Daejun, 02/05/2017