Re: [isabelle] Modal logic?



My formalization of a sound and complete tableau system for hybrid logic is
now available here:

https://bitbucket.org/isafol/isafol/src/master/Hybrid_Logic/

I am still working on it, in particular on getting rid of the Bridge rule,
but you may find it interesting already.

Best, A.

Den lør. 31. aug. 2019 kl. 15.04 skrev Dr A. Koutsoukou-Argyraki <
ak2110 at cam.ac.uk>:

> thank you everyone for your answers. Andreas, looking forward to your
> epistemic logic entry
> Best,
> Angeliki
>
> On 2019-08-22 13:49, Andreas Halkjær From wrote:
> > My Epistemic Logic entry defines the K operator which is like the box
> > but indexed by an agent:
> >
> > https://www.isa-afp.org/entries/Epistemic_Logic.html
> >
> > For my master's thesis I am working on a Hybrid Logic entry which will
> > have the "regular" box/diamond operators, but I only started this week.
> >
> > https://plato.stanford.edu/entries/logic-hybrid/
> >
> > A. H. From
>
>



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.