List

The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the workshop soon here.

Leave a Reply

Your email address will not be published. Required fields are marked *