Re: logics for model checking

Wojtowicz, Ralph wrote:

Finally, here are a few questions.

Has anyone studied the model-checking logics using the tools of categorical logic?

Here's a little note I wrote about relational modalities from a categorical logic viewpoint; it includes a few further references which may be relevant to your question http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.3240 Claudio Hermida